ranjitjhala Goto Github PK

00-lambda

Assignment 0: Lambda Calculus

ace-annot

Fiddling with ACE to get mouseover annotations

algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

ascii-art-ts

Port 'ascii-art' package tutorial for Atom to TypeScript

atom-package.ts

A template package for the Atom editor using typescript.

atom-typescript

The only TypeScript package you will ever need

binah

brick-tac-toe

Simple tic-tac-toe using `brick`

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cav19-tutorial

Slides for CAV 2019 tutorial on Refinement Types

compyller

Toy compiler using Haskell + LLVM

cs3210-rustos-public

Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"

cse130-devcontainer

d3-book

Sample code files to accompany the book “Interactive Data Visualization for the Web”

dotfiles

Configuration files for Vim, Zsh, Screen, Bash Shell

elm-architecture-tutorial

How to create modular Elm code that scales nicely with your app

foreign-inference

A smarter tool to automatically generate FFI bindings for C libraries

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])

ghc-options

Utilities for extracting the GHC options needed to compile a given target Haskell file.

gradr

Web application for managing grades

haddock-annot

Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.

hash-test

minimal example demonstrating issue with optparse-simple

hbgl-experimental

An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)

hdevtools

Persistent GHC-powered background server for FAST haskell development tools

homepage-hakyll

My website content and configuration for Hakyll

hover-tooltips

Mouseover Tooltip plugin for Atom

hover-tooltips-hdevtools

Atom package displaying types on hover using hdevtools

hover-tooltips-liquid

Atom hover-tooltips plugin for liquidhaskell

ifscs

An inductive form set constraint solver in Haskell

itanium-abi

An implementation of C++ name mangling for the Itanium ABI