Ranjit Jhala

sprite-lang. An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

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

brick-tac-toe. Simple tic-tac-toe using `brick`

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

hover-tooltips. Mouseover Tooltip plugin for Atom

pliss21-tutorial. Materials for Intro to Refinement Types Tutorial at PLISS 2021

linter-hdevtools. Atom package for linting haskell source using hdevtools

verified-instances. Verified instances for parallel programming.

wasm-machine. Compiling a small expression oriented language to WASM

gradr. Web application for managing grades

CAV19-tutorial. Slides for CAV 2019 tutorial on Refinement Types

xv6-riscv. Xv6 for RISC-V

vs-flux. VScode extension for viewing flux checker traces

compyller. Toy compiler using Haskell + LLVM

dotfiles. Configuration files for Vim, Zsh, Screen, Bash Shell

json-biblio. Scripts to convert JSON files into .html and .bib files

ranjitjhala.github.io. Trying out GH Pages

hover-tooltips-hdevtools. Atom package displaying types on hover using hdevtools

hash-test. minimal example demonstrating issue with optparse-simple

learning-haskell. Haskell