Stars
Adds static typing to JavaScript to improve developer productivity and code quality.
A static analyzer for Java, C, C++, and Objective-C
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
MirageOS is a library operating system that constructs unikernels
A code rewrite tool for structural search and replace that supports ~every language.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Irmin is a distributed database that follows the same design principles as Git
Context sensitive completion for OCaml in Vim and Emacs
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Jane Street Capital's standard library overlay
Connect processes into powerful data pipelines with a simple git-like filesystem interface
🍬 a functional language for building type-safe, scalable, and maintainable applications
Hardcaml is an OCaml library for designing hardware.
A functional programming language based on algebraic effect handlers
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Concurrent Programming with Effect Handlers
Parser combinators built for speed and memory efficiency
Effects-based direct-style IO for multicore OCaml
Exercises and projects for Jane Street's OCaml Workshop
Faster, simpler and more portable implementation of a similar `jq` in OCaml