Discover trending OCaml
open-source projects

393
734
1,522
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
3 77 A Rust verification tool
1 374 Functional HTML scraping and rewriting with CSS in OCaml
1 354 Static website generator based on HTML element tree rewriting
1 118 A peer-to-peer file-transfer tool in OCaml
1 4 Python implementations for CryptoVerif 1.23 (outdated)

Popular OCaml Topics

Latest Mentions

Latest mentioned OCaml repos
Stars Project
118 bob
4 cryptoverif
77 hax
354 soupault
374 lambdasoup
502 eioio
6,663 pyre-check
5,127 ocaml
9,603 semgrep
22,050 flow
10,044 reason
6,411 rescript-compiler
737 melange
1,015 austral
1,170 owl
93 hevea
401 effects-examples
3,676 unison
561 tis-interpreter
14,657 infer

Latest Discoveries

Latest discovered OCaml repos
Stars Project
118 bob
4 cryptoverif
77 hax
93 hevea
0 site-gen-ocaml
263 minttea
0 Alec
54 ocaml-tar
0 aoc-2023
1 AoC2023
1 aoc2023
0 adventofcode2023
30 polytt
56 tanenbaum
1 othello-ocaml
15 superbol-studio-oss
369 riot
294 eliom
384 ocaml4noobs
14 doclang-benchmark