399
745
1,545
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 95 | 6,472 | The compiler for ReScript. | |
| 75 | 9,742 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
| 24 | 6,695 | Performant type-checking for python. | |
| 19 | 1,040 | Systems language with linear types and capability-based security. | |
| 9 | 124 | Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server | |
| 5 | 822 | Standard library for OCaml | |
| 1 | 194 | The Herd toolsuite to deal with .cat memory models (version 7.xx) | |
| 1 | 19 | Toy autograd engine in OCaml with Apple Accelerate backend | |
| 1 | 9 | A finally tagless, dependently typed, self-aware programming language | |
| 1 | 5 | A compiler into EVM code |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
| Stars | Project |
|---|---|
| 822 | base |
| 124 | dream-html |
| 9,742 | semgrep |
| 6,472 | rescript-compiler |
| 5 | pen |
| 194 | herdtools7 |
| 1,040 | austral |
| 9 | lolita |
| 6,695 | pyre-check |
| 19 | camlgrad |
| 27 | ocaml |
| 5,162 | ocaml |
| 176 | docfd |
| 69 | ocaml-jst |
| 124 | bob |
| 4 | cryptoverif |
| 132 | hax |
| 361 | soupault |
| 376 | lambdasoup |
| 515 | eioio |
Latest Discoveries
Latest discovered OCaml repos
| Stars | Project |
|---|---|
| 194 | herdtools7 |
| 5 | pen |
| 9 | lolita |
| 19 | camlgrad |
| 27 | ocaml |
| 124 | bob |
| 4 | cryptoverif |
| 132 | hax |
| 93 | hevea |
| 0 | site-gen-ocaml |
| 281 | minttea |
| 0 | Alec |
| 54 | ocaml-tar |
| 0 | aoc-2023 |
| 1 | AoC2023 |
| 1 | aoc2023 |
| 0 | adventofcode2023 |
| 33 | polytt |
| 58 | tanenbaum |
| 1 | othello-ocaml |
Recently updated posts
-
Jane Street is big. Like, big
-
Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml
-
Semgrep: Semantic Grep for Code
-
Pen is a Compiler that compiles the High-Level Language into EVM bytecodes
-
Austral: A systems language with linear types. (2021)