Neel Krishnaswami's repositories
inverse-bidirectional-typechecking
A Toy Inverse Bidirectional Typechecker
ott-example
OTT in Agda
proof-checker
A simple proof checker
Language:JavaScriptGPL-3.0000
neel-krishnaswami.github.io
Scratch website
neelk-paper-collaborations
Automatically exported from code.google.com/p/neelk-paper-collaborations
Language:TeX000
test-compiler
Experimental simple compiler infrastructure
tt-proposal
Dependent types grant proposal