neel-krishnaswami

Neel Krishnaswami's repositories

A simple implementation of linear type theory

Language:OCamlGPL-3.037 40

A Toy Inverse Bidirectional Typechecker

Language:OCamlGPL-3.031 20

Higher-order FRP compiler

Language:OCamlGPL-3.014 40

OTT in Agda

Language:Agda6 20

A simple proof checker

Language:OCamlGPL-3.06 10

010

Language:JavaScriptGPL-3.0000

Scratch website

Language:HTML010

Automatically exported from code.google.com/p/neelk-paper-collaborations

Language:TeX000

Natural deduction for S5 modal logic

Language:TeXAGPL-3.0010

Experimental simple compiler infrastructure

GPL-3.0010

Dependent types grant proposal

020