Discover trending OCaml
open-source projects

396
739
1,535
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Mentions
@
Stars Project Description
119 5,150 The core OCaml system: compilers, runtime system, base libraries
74 9,688 Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
25 509 Effects-based direct-style IO for multicore OCaml
24 6,673 Performant type-checking for python.
18 1,026 Systems language with linear types and capability-based security.
15 358 Static website generator based on HTML element tree rewriting
12 70 OCaml plus Jane Street extensions
3 375 Functional HTML scraping and rewriting with CSS in OCaml
3 174 TUI multiline fuzzy document finder
3 124 A Rust verification tool
1 122 A peer-to-peer file-transfer tool in OCaml
1 27 OCaml "reentrant runtime" experimental branch
1 13 Toy autograd engine in OCaml with Apple Accelerate backend
1 4 Python implementations for CryptoVerif 1.23 (outdated)

Popular OCaml Topics

Latest Mentions

Latest mentioned OCaml repos
Stars Project
9,688 semgrep
6,673 pyre-check
13 camlgrad
5,150 ocaml
27 ocaml
174 docfd
1,026 austral
70 ocaml-jst
122 bob
4 cryptoverif
124 hax
358 soupault
375 lambdasoup
509 eioio
22,071 flow
6,436 rescript-compiler
10,051 reason
746 melange
1,177 owl
93 hevea

Latest Discoveries

Latest discovered OCaml repos
Stars Project
13 camlgrad
27 ocaml
122 bob
4 cryptoverif
124 hax
93 hevea
0 site-gen-ocaml
272 minttea
0 Alec
54 ocaml-tar
0 aoc-2023
1 AoC2023
1 aoc2023
0 adventofcode2023
30 polytt
56 tanenbaum
1 othello-ocaml
16 superbol-studio-oss
419 riot
294 eliom