Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

magic-trace collects and displays high-resolution traces of what a process is doing

MirageOS is a library operating system that constructs unikernels

Programming language for literate programming law specification

Systems language with linear types and capability-based security.

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Jane Street Capital's standard library overlay

🍬 a functional language for building type-safe, scalable, and maintainable applications

Hardcaml is an OCaml library for designing hardware.

a book about ocaml

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

A Unicode library for OCaml

Compile-time metaprogramming for OCaml

Embed typed ASN.1 grammars in OCaml

Benchmarking module for OCaml

This is a fork of the inline-more branch in the OCaml SVN repository.

OCaml Markov Chain Monte Carlo

Push style event combinator in OCaml

cse847 class project