catalaProgramming language for literate programming law specification
semgrepLightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocamlThe core OCaml system: compilers, runtime system, base libraries
unisonUnison file synchronizer
dreamTidy, feature-complete Web framework
magic-tracemagic-trace collects and displays high-resolution traces of what a process is doing
inferA static analyzer for Java, C, C++, and Objective-C
combyA code rewrite tool for structural search and replace that supports ~every language.
pyre-checkPerformant type-checking for python.
rescript-compilerThe compiler for ReScript.
coqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
zipcZIP archive and deflate codec for OCaml
mirageMirageOS is a library operating system that constructs unikernels
saturnLock-free data structures for multicore OCaml
discordmlA Discord library written in OCaml, based on Eio
babiseatadd/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
australSystems language with linear types and capability-based security.
haxA Rust verification tool
eioEffects-based direct-style IO for multicore OCaml
irminIrmin is a distributed database that follows the same design principles as Git
google-drive-ocamlfuseFUSE filesystem over Google Drive
duneA composable build system for OCaml.
legend-of-zoldaOCaml implementation of a NES Legend of Zelda-style browser-based game
opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
plzooProgramming Languages Zoo
server-reason-reactServer rendering Reason React components with OCaml natively
BatshA language that compiles to Bash and Windows Batch
icfp-2023-eio-tutorialLwt to Eio tutorial
minaMina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
MariOCamlHTML 5 canvas implementation of Mario written in Ocaml
incrementalA library for incremental computations
algaeff🦠 Reusable components based on algebraic effects
serde.mlSerialization framework for OCaml
textbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
ocaml-playlist-transferTransfer playlists seamlessly between spotify and apple music
ocaml-engineOCaml game engine and Vampire Survivors inspired game
baseStandard library for OCaml
miouA simple scheduler for OCaml 5
coq-lspVisual Studio Code Extension and Language Server Protocol for Coq
hazelHazel, a live functional programming environment with typed holes
liquid-mlShopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
effects-examplesExamples to illustrate the use of algebraic effects in Multicore OCaml
thread-local-storagethread-local storage for OCaml
angstromParser combinators built for speed and memory efficiency
bookV2 of Real World OCaml
utopUniversal toplevel for OCaml
capnp-ocamlOCaml code generator plugin for the Cap'n Proto serialization framework
xsconcatenative array language inspired by kdb/+q
wasicamlTranslate OCaml bytecode to WebAssembly
hardcamlHardcaml is an OCaml library for designing hardware.
kcasSTM based on lock-free MCAS
raylib-ocamlOCaml bindings for raylib and raygui
sedlexAn OCaml lexer generator for Unicode
boltBolt is a language with in-built data-race freedom!
polyttA type theory with native support for Polynomial Functors.
miragevpnAn opinionated implementation of the OpenVPN protocol
owlOwl - OCaml Scientific Computing @ http://ocaml.xyz
est-ocamlA simple command line tool for statistical calculation
crowbarProperty fuzzing for OCaml
bapBinary Analysis Platform
obuilderExperimental "docker build" alternative using btrfs/zfs snapshots
qcheckQuickCheck inspired property-based testing for OCaml.
ppx_rapperSyntax extension for writing SQL in OCaml
alcotestA lightweight and colourful test framework
telemetryLightweight event dispatching for OCaml.
oplotMathematical plotting library for ocaml
meioMonitor Eio programs
ocaml-iostreamgeneric I/O streams of bytes
asai🩺 A library for compiler diagnostics
fuseau[wip] IO and concurrency library for OCaml 5 on top of libuv
dream-htmlGenerate HTML markup from your Dream backend server
hol-lightThe HOL Light theorem prover
alt-ergoOCamlPro public development repository for Alt-Ergo
routestyped bidirectional router for OCaml/ReasonML web applications
effA functional programming language based on algebraic effect handlers
ppx_inline_testSyntax extension for writing in-line tests in ocaml code
ocaml-ctypesLibrary for binding to C libraries using pure OCaml
mesaA modern, idiomatic web framework for Riot
prowlWIP stack language that uses regex for control flow
IoPLMaterialsMaterials for the class "Implementation of Programming Languages" in Kyoto University.
ocaml-protocA Protobuf Compiler for OCaml
petrolPetrol's an OCaml SQL API made to go FAST.
ortacRuntime assertion checking based on Gospel specifications
playtimeAn OCaml EDSL for describing and solving strategic games
ocamlformatAuto-formatter for OCaml code
ppx_deriving_yojsonA Yojson codec generator for OCaml.
dometyl-keyboardA parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
yojsonLow-level JSON parsing and pretty-printing library for OCaml
landmarksA Simple Profiling Library for OCaml
janestreetOCaml, Makefile, C
ocamlOCaml, Shell, HTML
mirageOCaml, C, Shell
semgrepC, OCaml, Python
coqOCaml, Shell, HTML
ocaml-multicoreOCaml, Makefile, Jupyter Notebook
aantronOCaml, Reason, ReScript
dbuenzliOCaml, Dockerfile, Shell
mobyGo, OCaml, Dockerfile
BinaryAnalysisPlatformOCaml, C, Python
andrejbauerOCaml, TeX, Python
MinaProtocolC++, C, OCaml