Discover trending OCaml
open-source projects

296
531
1,057
Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • SonarLint - Clean code begins in your IDE with SonarLint
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Zigi - Close all those tabs. Zigi will handle your updates.
Mentions
@
Stars Project Description
5 4,089 The core OCaml system: compilers, runtime system, base libraries
4 13,680 A static analyzer for Java, C, C++, and Objective-C
4 7,440 Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
4 2 A simple system fetcher written in OCaml for *BSD
2 334 Examples to illustrate the use of algebraic effects in Multicore OCaml
2 181 A Mirage firewall VM for QubesOS
2 29 mini-dalle in ocaml
1 3,913 magic-trace collects and displays high-resolution traces of what a process is doing
1 982 A statically-typed, functional typesetting system
1 415 Hardcaml is an OCaml library for designing hardware.
1 393 Bolt is a language with in-built data-race freedom!
1 272 Effects-based direct-style IO for multicore OCaml
1 149 Interfacing Qt/QML with OCaml. Formely known as lablqt
1 104 Fast, safe and composable streaming abstractions.
1 87 Cap'n Proto RPC implementation
1 47 Show the internal dependencies in your OCaml/Reason/Dune project
1 22 gRPC library for OCaml
1 16 A WIP programming language inspired by ML and powered by LLVM
1 6 Learn nix by example
1 1 Example of embedding TypeScript as an EDSL inside of another language

Popular OCaml Topics

Latest Mentions

Latest mentioned OCaml repos
Stars Project
0 aoc2022
0 advent_of_code
181 qubes-mirage-firewall
393 bolt
415 hardcaml
4,089 ocaml
104 streaming
9,763 reason
7,440 semgrep
13,680 infer
31 algorithm-j
3,970 coq
334 effects-examples
47 dune-deps
6 nixbyexample
5,971 rescript-compiler
272 eioio
342 karamel
87 capnp-rpc
22 ocaml-grpc