Pinned Repositories
brick-tac-toe
Simple tic-tac-toe using `brick`
CAV19-tutorial
Slides for CAV 2019 tutorial on Refinement Types
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.
hover-tooltips
Mouseover Tooltip plugin for Atom
linter-hdevtools
Atom package for linting haskell source using hdevtools
pliss21-tutorial
Materials for Intro to Refinement Types Tutorial at PLISS 2021
sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
verified-instances
Verified instances for parallel programming.
ranjitjhala's Repositories
ranjitjhala/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
ranjitjhala/brick-tac-toe
Simple tic-tac-toe using `brick`
ranjitjhala/pliss21-tutorial
Materials for Intro to Refinement Types Tutorial at PLISS 2021
ranjitjhala/verified-instances
Verified instances for parallel programming.
ranjitjhala/CAV19-tutorial
Slides for CAV 2019 tutorial on Refinement Types
ranjitjhala/wasm-machine
Compiling a small expression oriented language to WASM
ranjitjhala/hash-test
minimal example demonstrating issue with optparse-simple
ranjitjhala/ranjitjhala.github.io
Trying out GH Pages
ranjitjhala/00-lambda
Assignment 0: Lambda Calculus
ranjitjhala/binah
ranjitjhala/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
ranjitjhala/cs3210-rustos-public
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
ranjitjhala/cse130-devcontainer
ranjitjhala/homepage-hakyll
My website content and configuration for Hakyll
ranjitjhala/language-haskell
Highlighting support for the Haskell language in visual studio code.
ranjitjhala/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
ranjitjhala/lh-pldi19-benchmarks
Benchmarks for PLDI2019 + scripts for preprocessing to bring upto date
ranjitjhala/poseidon-circuit
Poseidon hash circuit
ranjitjhala/researchr-booklet
Scripts to generate LaTeX schedule from researchr.org exported XML
ranjitjhala/researchr-booklet-ocaml
Scripts to generate LaTeX schedule from researchr.org exported XML
ranjitjhala/scotty-demo
Using scotty to make a todo-app
ranjitjhala/stitch-lh
ranjitjhala/summary
ranjitjhala/todo
ranjitjhala/ucsd-cse-fellows-2021
Website for UCSD CSE Postdoctoral Fellowship 2021
ranjitjhala/vera
ranjitjhala/verify-rust-std
Verifying the Rust standard library
ranjitjhala/voltron-demo
Voltron is a shared editor for in-class group programming exercises
ranjitjhala/vs-flux
VScode extension for viewing flux checker traces
ranjitjhala/WPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework