Discover @ranjitjhala Open Source projects

Ranjit Jhala (@ranjitjhala)

ranjitjhala

Stars
190
Global Rank 128,282 (Top 5 %)
Followers 228
Following 2
Registered over 12 years ago
Most used languages

Haskell
62.5 %

JavaScript
18.8 %

Lean 6.3 %

CoffeeScript
6.3 %

TypeScript
6.3 %
Location 🇺🇸 United States
Country Total Rank 29,749
Country Ranking

Lean 105

Haskell
157

CoffeeScript
2,150

sprite-lang

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

brick-tac-toe

Simple tic-tac-toe using `brick`

haddock-annot

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

hover-tooltips

Mouseover Tooltip plugin for Atom

ghc-options

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

pliss21-tutorial

Materials for Intro to Refinement Types Tutorial at PLISS 2021

linter-hdevtools

Atom package for linting haskell source using hdevtools

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

compyller

Toy compiler using Haskell + LLVM

learning-haskell

json-biblio

Scripts to convert JSON files into .html and .bib files

hash-test

minimal example demonstrating issue with optparse-simple

hover-tooltips-hdevtools

Atom package displaying types on hover using hdevtools

lean-concrete-semantics

Nipkow and Klein's Concrete Semantics, in Lean