397
741
1,539
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 119 | 5,156 | The core OCaml system: compilers, runtime system, base libraries | |
| 94 | 6,453 | The compiler for ReScript. | |
| 74 | 9,724 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
| 24 | 6,692 | Performant type-checking for python. | |
| 19 | 1,032 | Systems language with linear types and capability-based security. | |
| 12 | 70 | OCaml plus Jane Street extensions | |
| 8 | 99 | Generate HTML markup from your OCaml Dream backend server | |
| 3 | 175 | TUI multiline fuzzy document finder | |
| 1 | 27 | OCaml "reentrant runtime" experimental branch | |
| 1 | 19 | Toy autograd engine in OCaml with Apple Accelerate backend | |
| 1 | 9 | A finally tagless, dependently typed, self-aware programming language |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
| Stars | Project |
|---|---|
| 99 | dream-html |
| 1,032 | austral |
| 9 | lolita |
| 9,724 | semgrep |
| 6,453 | rescript-compiler |
| 6,692 | pyre-check |
| 19 | camlgrad |
| 27 | ocaml |
| 5,156 | ocaml |
| 175 | docfd |
| 70 | ocaml-jst |
| 124 | bob |
| 4 | cryptoverif |
| 127 | hax |
| 359 | soupault |
| 375 | lambdasoup |
| 517 | eioio |
| 22,078 | flow |
| 10,054 | reason |
| 752 | melange |
Latest Discoveries
Latest discovered OCaml repos
| Stars | Project |
|---|---|
| 9 | lolita |
| 19 | camlgrad |
| 27 | ocaml |
| 124 | bob |
| 4 | cryptoverif |
| 127 | hax |
| 93 | hevea |
| 0 | site-gen-ocaml |
| 277 | 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 |
| 428 | riot |
Recently updated posts
- Austral: A systems language with linear types. (2021)
- Lolita: A tagless, dependently typed, self-aware programming language
- Semgrep – Find bugs and enforce code standards
- Toy autograd engine in OCaml with Apple Accelerate back end
- Application Security - Bridging Frontend and Cybersecurity: What is Application Security?