Shakthi Kannan's repositories
cubicle
The Cubicle model checker
html-compiler-manuals
HTML pages for the OCaml compiler manuals for the different OCaml versions - these are served by OCaml.org
infrastructure
WIki to hold the information about the machine resources available to OCaml.org
irmin-watcher
Portable implementation of the Irmin Watch API
multicore-opam
OPAM repo for OCaml multicore development
ocaml-matrix
Implementation of a matrix server in OCaml for MirageOS
ocaml-multicore-ci
OCurrent CI for multicore OCaml trees
ocluster
Distribute CI builds to worker nodes over Cap'n Proto
opam-repository
Main public package repository for opam, the source package manager of OCaml.
orun
orun is a benchmarking tool that gives you runtime and OCaml garbage collector statistics.
react
Declarative events and signals for OCaml
reason-bangalore.github.io
Community website
rresult
Result value combinators for OCaml
rungen
Generates dune files to run benchmarks from a centralized configuration
sandmark-nightly-config
Configuration files to run sandmark-nightly
v2.ocaml.org
Implementation of the ocaml.org website.