Highlighted
Open highlighted repo slot
Put your repository first
Promote a GitHub repo at the top of Awesome repository list views for 7 days.
Awesome List
Awesome Ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
ocaml-community/awesome-ocaml
#awesome
#ocaml
#programming-language
#resources
- List stars
- 3,131
- README repos
- 226
- Indexed repos
- 223
- List commits
- 639
- Forks
- 177
- Open issues
- 5
Tracked list growth
GitHub stars and default-branch commits for ocaml-community/awesome-ocaml.
Latest scan 2026-11-03 10:50
Likes history
GitHub starsCommits history
Default branch commits
Latest repo push 2026-11-03
meta/infer
A static analyzer for Java, C, C++, and Objective-C
AI dev
GitHub topics
- Updated
- 2026-11-02
- Lists
- 1 list mention
- First commit
- 2015-06-09
- License
- MIT
- Issues
- 264 open
15,741
stars
- Forks
- 2,102
- Commits
- 16,314 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
AI dev
GitHub topics
- Updated
- 2026-10-23
- Lists
- 2 list mentions
- First commit
- 2015-06-09
- License
- MIT
- Issues
- 264 open
15,728
stars
- Forks
- 2,099
- Commits
- 16,282 commits
- Star growth, last 7 days
- No 7-day history
- Commit velocity, last 7 days
- No 7-day history
rocq-prover/rocq
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 environment for semi-interactive development of machine-checked proofs.
Stack
GitHub topics
- Updated
- 2026-11-03
- Lists
- 1 list mention
- First commit
- 1999-08-16
- License
- LGPL-2.1
- Issues
- 2,201 open
5,656
stars
- Forks
- 771
- Commits
- 49,305 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirage/mirage
MirageOS is a library operating system that constructs unikernels
- Updated
- 2026-11-01
- Lists
- 1 list mention
- First commit
- 2013-02-02
- License
- ISC
- Issues
- 62 open
3,023
stars
- Forks
- 278
- Commits
- 3,866 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
BinaryAnalysisPlatform/bap
Binary Analysis Platform
Stack
GitHub topics
- Updated
- 2026-05-07
- Lists
- 1 list mention
- First commit
- 2014-10-30
- License
- MIT
- Issues
- 42 open
2,264
stars
- Forks
- 286
- Commits
- 1,290 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
- Updated
- 2026-10-09
- Lists
- 1 list mention
- First commit
- 2013-04-22
- License
- ISC
- Issues
- 150 open
1,964
stars
- Forks
- 167
- Commits
- 5,643 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml/dune
A composable build system for OCaml.
AI dev
- Updated
- 2026-11-03
- Lists
- 1 list mention
- First commit
- 2016-10-30
- License
- MIT
- Issues
- 1,041 open
1,932
stars
- Forks
- 507
- Commits
- 19,403 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
airbus-seclab/bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
GitHub topics
- Updated
- 2025-02-25
- Lists
- 1 list mention
- First commit
- 2015-05-22
- License
- Unknown
- Issues
- 18 open
1,882
stars
- Forks
- 166
- Commits
- 4,584 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
savonet/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.
GitHub topics
- Updated
- 2026-11-03
- Lists
- 1 list mention
- First commit
- 2008-10-15
- License
- GPL-2.0
- Issues
- 258 open
1,751
stars
- Forks
- 163
- Commits
- 9,532 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
- Updated
- 2026-10-27
- Lists
- 1 list mention
- First commit
- 2013-01-07
- License
- MIT
- Issues
- 255 open
1,710
stars
- Forks
- 258
- Commits
- 6,195 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
owlbarn/owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Stack
- Updated
- 2026-10-17
- Lists
- 1 list mention
- First commit
- 2016-06-20
- License
- MIT
- Issues
- 45 open
1,358
stars
- Forks
- 132
- Commits
- 4,479 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
janestreet/core
Jane Street Capital's standard library overlay
Stack
- Updated
- 2026-07-10
- Lists
- 1 list mention
- First commit
- 2013-01-28
- License
- MIT
- Issues
- 6 open
1,343
stars
- Forks
- 134
- Commits
- 478 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
janestreet/base
Standard library for OCaml
Stack
- Updated
- 2026-07-10
- Lists
- 1 list mention
- First commit
- 2016-09-16
- License
- MIT
- Issues
- 16 open
1,094
stars
- Forks
- 182
- Commits
- 382 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-community/utop
Universal toplevel for OCaml
Stack
- Updated
- 2026-08-18
- Lists
- 1 list mention
- First commit
- 2011-07-23
- License
- NOASSERTION
- Issues
- 119 open
934
stars
- Forks
- 122
- Commits
- 713 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml/ocaml-lsp
OCaml Language Server Protocol implementation
Stack
- Updated
- 2026-11-02
- Lists
- 1 list mention
- First commit
- 2019-01-28
- License
- NOASSERTION
- Issues
- 135 open
912
stars
- Forks
- 166
- Commits
- 2,910 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
rgrinberg/opium
Sinatra like web toolkit for OCaml
Stack
- Updated
- 2026-01-06
- Lists
- 1 list mention
- First commit
- 2013-10-14
- License
- MIT
- Issues
- 37 open
781
stars
- Forks
- 77
- Commits
- 847 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
AI dev
- Updated
- 2026-09-08
- Lists
- 1 list mention
- First commit
- 2009-09-28
- License
- NOASSERTION
- Issues
- 109 open
779
stars
- Forks
- 187
- Commits
- 3,201 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
Stack
GitHub topics
- Updated
- 2026-11-01
- Lists
- 1 list mention
- First commit
- 2021-03-02
- License
- NOASSERTION
- Issues
- 58 open
736
stars
- Forks
- 91
- Commits
- 1,598 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-ppx/ocamlformat
Auto-formatter for OCaml code
- Updated
- 2026-10-28
- Lists
- 1 list mention
- First commit
- 2017-10-19
- License
- MIT
- Issues
- 142 open
734
stars
- Forks
- 229
- Commits
- 1,952 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
inhabitedtype/angstrom
Parser combinators built for speed and memory efficiency
Stack
GitHub topics
- Updated
- 2024-09-12
- Lists
- 1 list mention
- First commit
- 2015-11-26
- License
- NOASSERTION
- Issues
- 14 open
707
stars
- Forks
- 74
- Commits
- 457 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
artagnon/rhine-ml
🏞 an OCaml compiler for an untyped lisp
Archived
Stack
GitHub topics
- Updated
- 2015-03-31
- Lists
- 1 list mention
- First commit
- 2014-07-20
- License
- NOASSERTION
- Issues
- 2 open
633
stars
- Forks
- 24
- Commits
- 424 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
inhabitedtype/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
- Updated
- 2024-05-27
- Lists
- 1 list mention
- First commit
- 2016-10-18
- License
- NOASSERTION
- Issues
- 26 open
538
stars
- Forks
- 42
- Commits
- 491 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-batteries-team/batteries-included
Batteries Included project
Stack
- Updated
- 2026-06-25
- Lists
- 1 list mention
- First commit
- 2008-04-30
- License
- NOASSERTION
- Issues
- 91 open
- Forks
- 108
- Commits
- 3,856 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Stack
GitHub topics
- Updated
- 2026-10-12
- Lists
- 1 list mention
- First commit
- 2013-02-27
- License
- BSD-2-Clause
- Issues
- 21 open
522
stars
- Forks
- 91
- Commits
- 3,033 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-ppx/ppx_deriving
Type-driven code generation for OCaml
- Updated
- 2026-09-13
- Lists
- 1 list mention
- First commit
- 2014-07-15
- License
- MIT
- Issues
- 39 open
522
stars
- Forks
- 98
- Commits
- 643 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirage/alcotest
A lightweight and colourful test framework
Stack
GitHub topics
- Updated
- 2026-11-03
- Lists
- 1 list mention
- First commit
- 2013-12-12
- License
- ISC
- Issues
- 58 open
514
stars
- Forks
- 94
- Commits
- 940 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
hirrolot/mazeppa
A modern supercompiler for call-by-value functional languages
Stack
- Updated
- 2025-12-05
- Lists
- 1 list mention
- First commit
- 2024-07-11
- License
- Unlicense
- Issues
- 2 open
479
stars
- Forks
- 11
- Commits
- 237 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
LaurentMazare/ocaml-torch
OCaml bindings for PyTorch
Stack
- Updated
- 2024-10-17
- Lists
- 1 list mention
- First commit
- 2018-10-02
- License
- Apache-2.0
- Issues
- 11 open
- Forks
- 40
- Commits
- 544 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
yallop/ocaml-ctypes
Library for binding to C libraries using pure OCaml
Stack
- Updated
- 2025-11-06
- Lists
- 1 list mention
- First commit
- 2013-04-30
- License
- MIT
- Issues
- 107 open
412
stars
- Forks
- 102
- Commits
- 1,670 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
aantron/lambdasoup
Functional HTML scraping and rewriting with CSS in OCaml
- Updated
- 2024-11-18
- Lists
- 1 list mention
- First commit
- 2015-11-13
- License
- MIT
- Issues
- 13 open
409
stars
- Forks
- 35
- Commits
- 147 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Stack
GitHub topics
- Updated
- 2026-08-30
- Lists
- 1 list mention
- First commit
- 2013-10-06
- License
- BSD-2-Clause
- Issues
- 50 open
407
stars
- Forks
- 47
- Commits
- 1,579 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
cil-project/cil
C Intermediate Language
Stack
- Updated
- 2023-09-14
- Lists
- 1 list mention
- First commit
- 2000-12-20
- License
- NOASSERTION
- Issues
- 32 open
404
stars
- Forks
- 103
- Commits
- 4,112 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
janestreet/incr_dom
A library for building dynamic webapps, using Js_of_ocaml.
- Updated
- 2026-07-10
- Lists
- 1 list mention
- First commit
- 2016-07-05
- License
- MIT
- Issues
- 7 open
402
stars
- Forks
- 35
- Commits
- 187 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-community/yojson
Low-level JSON parsing and pretty-printing library for OCaml
- Updated
- 2026-10-07
- Lists
- 1 list mention
- First commit
- 2010-04-11
- License
- BSD-3-Clause
- Issues
- 23 open
369
stars
- Forks
- 61
- Commits
- 526 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirage/ocaml-git
Pure OCaml Git format and protocol
- Updated
- 2025-05-14
- Lists
- 1 list mention
- First commit
- 2013-03-12
- License
- ISC
- Issues
- 22 open
368
stars
- Forks
- 69
- Commits
- 2,748 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
xapi-project/xen-api
The Xapi Project's XenAPI Server
Stack
- Updated
- 2026-11-03
- Lists
- 1 list mention
- First commit
- 2009-10-12
- License
- NOASSERTION
- Issues
- 116 open
368
stars
- Forks
- 308
- Commits
- 34,784 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
paurkedal/ocaml-caqti
Cooperative-threaded access to relational data
- Updated
- 2026-10-26
- Lists
- 1 list mention
- First commit
- 2014-03-16
- License
- LGPL-3.0
- Issues
- 10 open
355
stars
- Forks
- 45
- Commits
- 1,102 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ahrefs/atd
Static types for JSON APIs
- Updated
- 2026-10-23
- Lists
- 1 list mention
- First commit
- 2011-01-21
- License
- NOASSERTION
- Issues
- 89 open
354
stars
- Forks
- 63
- Commits
- 1,495 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
dbuenzli/cmdliner
Declarative definition of command line interfaces for OCaml
Stack
- Updated
- 2026-10-18
- Lists
- 1 list mention
- First commit
- 2011-05-27
- License
- ISC
- Issues
- 11 open
347
stars
- Forks
- 68
- Commits
- 541 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ygrek/mldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
Stack
GitHub topics
- Updated
- 2025-01-28
- Lists
- 1 list mention
- First commit
- 2002-02-09
- License
- NOASSERTION
- Issues
- 60 open
346
stars
- Forks
- 57
- Commits
- 2,199 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
OCamlPro/owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
GitHub topics
- Updated
- 2026-11-02
- Lists
- 2 list mentions
- First commit
- 2021-10-21
- License
- AGPL-3.0
- Issues
- 160 open
329
stars
- Forks
- 41
- Commits
- 2,798 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
microsoft/SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Archived
Stack
- Updated
- 2016-07-14
- Lists
- 1 list mention
- First commit
- 2016-01-13
- License
- NOASSERTION
- Issues
- 4 open
326
stars
- Forks
- 24
- Commits
- 9 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
mirleft/ocaml-tls
TLS in pure OCaml
AI dev
- Updated
- 2026-10-21
- Lists
- 1 list mention
- First commit
- 2014-02-13
- License
- BSD-2-Clause
- Issues
- 5 open
321
stars
- Forks
- 70
- Commits
- 2,100 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
aantron/bisect_ppx
Code coverage for OCaml and ReScript
- Updated
- 2025-10-12
- Lists
- 1 list mention
- First commit
- 2008-07-06
- License
- MIT
- Issues
- 25 open
317
stars
- Forks
- 69
- Commits
- 1,082 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-multicore/parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
Stack
GitHub topics
- Updated
- 2024-03-12
- Lists
- 1 list mention
- First commit
- 2020-06-30
- License
- ISC
- Issues
- 6 open
- Forks
- 6
- Commits
- 30 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
tmattio/spin
OCaml project generator.
- Updated
- 2024-10-07
- Lists
- 1 list mention
- First commit
- 2019-12-13
- License
- ISC
- Issues
- 14 open
299
stars
- Forks
- 15
- Commits
- 393 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
LaurentMazare/tensorflow-ocaml
OCaml bindings for TensorFlow
Stack
- Updated
- 2019-07-06
- Lists
- 2 list mentions
- First commit
- 2016-03-14
- License
- Apache-2.0
- Issues
- 5 open
- Forks
- 27
- Commits
- 856 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
formal-land/rocq-of-ocaml
Formal verification for OCaml, with Rocq
- Updated
- 2026-05-18
- Lists
- 1 list mention
- First commit
- 2013-10-31
- License
- MIT
- Issues
- 17 open
- Forks
- 22
- Commits
- 1,245 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml-community/sedlex
An OCaml lexer generator for Unicode
Stack
- Updated
- 2026-10-12
- Lists
- 1 list mention
- First commit
- 2003-09-18
- License
- MIT
- Issues
- 19 open
270
stars
- Forks
- 43
- Commits
- 356 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%
ocaml/ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Stack
GitHub topics
- Updated
- 2026-10-16
- Lists
- 1 list mention
- First commit
- 2011-12-21
- License
- NOASSERTION
- Issues
- 35 open
260
stars
- Forks
- 72
- Commits
- 1,113 commits
- Star growth, last 7 days
- 0 0.0%
- Commit velocity, last 7 days
- 0 0.0%