393
734
1,522
Our great sponsors
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 |
Recently updated posts
- Bob – cross-platform peer-to-peer file-transfer tool in OCaml
- Hax: Translate a subset of Rust into formal languages
- Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
- Creating a DevSecOps pipeline with Jenkins — Part 1
- Melange for React devs book, alpha release