Discover the top trending OCaml repositories and projects on Github. Explore the latest trends in OCaml development.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.unison
Unison file synchronizerocaml
The core OCaml system: compilers, runtime system, base librariescoq
Coq 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.clerical
Command-like expressions for real infinite-precision calculationsmagic-trace
magic-trace collects and displays high-resolution traces of what a process is doings2n-bignum
hol-light
The HOL Light theorem proverClaudius
Sparse submissions for Genuary 2023nqcc2
Reference implementation for Writing a C Compilerbaby
A balanced binary search tree library for OCamlmelange
A mixture of tooling combined to produce JavaScript from OCaml & Reasonpyre-check
Performant type-checking for python.ocaml-api-watch
Libraries and tools to keep watch on you OCaml lib's API changescomby
A code rewrite tool for structural search and replace that supports ~every language.kdf
Key deriving functions in OCamlinfer
A static analyzer for Java, C, C++, and Objective-Cflow
Adds static typing to JavaScript to improve developer productivity and code quality.ott
The Ott tool for writing definitions of programming languages and calculibincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detectionpolaris
A functional programming language with shell scripting capabilitiesaustral
Systems language with linear types and capability-based security.soupault
Static website generator based on HTML element tree rewritingriot
An actor-model multi-core scheduler for OCaml 5 🐫coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coqeasycrypt
EasyCrypt: Computer-Aided Cryptographic Proofsremora
A dependently-typed, array-polymorphic language that runs on parallel architecturesnarya
A proof assistant for higher-dimensional type theoryirmin
Irmin is a distributed database that follows the same design principles as Gitbase
Standard library for OCamlmirage
MirageOS is a library operating system that constructs unikernelsjs_of_ocaml
Compiler from OCaml to Javascript.dune
A composable build system for OCaml.helix
Build reactive web interfaces in OCaml.obatcher
A Framework for building Batched Concurrent Data Structuressaturn
Lock-free data structures for multicore OCamlhax
A Rust verification tooldomainslib
Parallel Programming over Domainstype-systems
Implementations of various type systems in OCaml.google-drive-ocamlfuse
FUSE filesystem over Google Drivereason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystemsocaml-lsp
OCaml Language Server Protocol implementationgamelle
2d game engine for OCamltextbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"merlin
Context sensitive completion for OCaml in Vim and Emacsmalfunction
Malfunctional Programmingpiaf
Web library for OCaml with support for HTTP/1.X / HTTP/2flambda-backend
The Flambda backend project for OCamlocaml-practice-exercises
Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platformnethsm
Nitrokey NetHSM system software and firmwaresignal
Reactive signals for OCaml.liquidsoap
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.catala
Programming language for literate programming law specificationjj_tui
A TUI for the Jujutsu version control systemDrawGrammar
Draw railroad diagrams of EBNF grammars. In browser and on command lineodiff
The fastest pixel-by-pixel image visual difference tool in the world.SATySFi
A statically-typed, functional typesetting systemhardcaml
Hardcaml is an OCaml library for designing hardware.Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.ppx_deriving_yaml
OCaml types to Yaml types and back againblogger
dream
Tidy, feature-complete Web frameworkbluesky-bot-ocaml
An simple implementation of an auto-follower/unfollower and reposter bot in bsky.appbap
Binary Analysis Platformvscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]utop
Universal toplevel for OCamltyre
Typed Regular Expressionssplit-arrow
An alternative presentation of arrowsocaml-effects-tutorial
Concurrent Programming with Effect Handlersincremental
A library for incremental computationszarr-ml
An implementation of the Zarr storage format specification for chunked & compressed multidimensional arrays.mlsub
Prototype type inference engineocaml-tls
TLS in pure OCamlbelenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/beleniospicos
Interoperable effects based concurrencymiou
A simple scheduler for OCaml 5FaCT
Flexible and Constant Time Programming Languagezanuda
OCaml linterpyml
OCaml bindings for Pythonjsonrpc2
JSON RPC 2.0 for OCamlpolars-ocaml
ppxlib
Base library and tools for ppx rewriterszbg
✨ Zero bullshit gitminttea
A fun little TUI framework for OCamlincr_dom
A library for building dynamic webapps, using Js_of_ocaml.octane.ml
The fastest, hottestocamlbyexample
Learn Ocaml by reading code examplesmldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)cmarkit
CommonMark parser and renderer for OCamlc2bf
Compiler from C to brainfuckvirt-v2v
Virt-v2v converts guests from foreign hypervisors to run on KVMtranscendental-syntax
Technical interpretation of Girard's transcendental syntaxmetaquot
OCaml syntax extension for quoting codetevsl
Shader compiler for the Nintendo GameCube/Wiiego
EGraphs in OCamldocfd
TUI multiline fuzzy document findercil
C Intermediate Languageocaml-hashcons
OCaml hash-consing librarywayland-proxy-virtwl
Allow guest VMs to open windows on the hostgospel
A tool-agnostic formal specification language for OCaml.janestreet
OCaml, Makefile, F#ocaml
OCaml, Shell, HTMLsemgrep
C, OCaml, Pythonreasonml
OCaml, Reason, JavaScriptmirage
OCaml, C, HTMLastrada
OCaml, JavaScript, Pythoncoq
OCaml, Shell, HTMLbatsh-dev-team
OCamlocaml-multicore
OCaml, C, Pythonbcpierce00
TeX, OCamlfacebookarchive
JavaScript, Go, Pythonaantron
OCaml, Reason, ReScriptocsigen
OCaml, HTML, JavaScriptjaredly
JavaScript, OCaml, Pythondbuenzli
OCaml, Dockerfile, Makefilecomby-tools
JavaScript, Elm, Gofastpack
JavaScript, OCamlleostera
OCaml, JavaScript, ErlangBinaryAnalysisPlatform
OCaml, C, Pythonocaml-community
OCaml, Cmoby
Go, OCaml, HTMLocaml-ppx
OCamlandrejbauer
OCaml, TeX, PythondmtrKovalenko
TypeScript, JavaScript, RustLove Open Source and this site? Check out how you can help us