GitPlanet
All Git Users → ranjitjhala

2 open source projects by ranjitjhala

[ Open user page on Github ]
1. Sprite Lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
✭ 81
haskell
2. haddock-annot
Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
✭ 13
haskellCSSjavascriptshellLogosMakefile
1-2 of 2 user projects