Discovered public repositories for ranjitjhala in the GitHub catalog.
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Sample code files to accompany the book “Interactive Data Visualization for the Web”
Various documents related to LiquidHaskell
Vim plugin for displaying type annotations of TypeScript programs produced by nano-js (https://github.com/UCSD-PL/nano-js)
Configuration files for Vim, Zsh, Screen, Bash Shell
Fiddling with ACE to get mouseover annotations
Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
Course Materials for Graduate Class on Algorithmic Software Verification
A package to convert the LLVM IR into a native Haskell data type
A tutorial on Parallel and Concurrent Haskell
A set of tools for visualizing and inspecting LLVM bitcode modules
An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
An inductive form set constraint solver in Haskell
A smarter tool to automatically generate FFI bindings for C libraries
A library for analyzing LLVM bitcode in Haskell
An implementation of C++ name mangling for the Itanium ABI
Type definitions used in some higher-level LLVM-related packages