KC Sivaramakrishnan's repositories
ocaml-tutorial
OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
riscv-ocaml-cross
RISC-V OCaml cross compiler
jupyter-swi-prolog
A Jupyter Kernel for SWI-Prolog
ocaml-numerical-analysis
Stand-alone programs for numerical analysis in OCaml
raytracers
Various implementations of the same ray tracer
camlpdf
OCaml library for reading, writing and modifying PDF files
cpdf-source
PDF Command Line Tools Source
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
dockerfiles
Dockerfiles
lam-wasm
Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.
learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
ocaml-irmin
From priyas13/ocaml-irmin commit ffc35eec9b483bd4e265e54edab3a1914df65fd8
ocaml-perf
binding for linux-perf library for OCaml
ocamlbench-scripts
Scripts for running the OCaml benchmarks
operf-macro
Some macro-benchmarks for operf and an OPAM repository for them
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
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 ;)
riscv-ocaml
RISC-V port of the OCaml system
sandmark
Benchmarking the OCaml compiler and all its friends
scilla
Scilla - A Smart Contract Intermediate Level Language
specs
Content-addressed, authenticated, immutable data structures
top-secret
Top Secret Project at IITM