399
745
1,545
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 95 | 6,478 | The compiler for ReScript. | |
| 75 | 9,775 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
| 24 | 6,698 | Performant type-checking for python. | |
| 19 | 1,048 | Systems language with linear types and capability-based security. | |
| 9 | 134 | 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 | 9 | A finally tagless, dependently typed, self-aware programming language | |
| 1 | 7 | A compiler into EVM code |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
| Stars | Project |
|---|---|
| 822 | base |
| 134 | dream-html |
| 9,775 | semgrep |
| 6,478 | rescript-compiler |
| 7 | pen |
| 194 | herdtools7 |
| 1,048 | austral |
| 9 | lolita |
| 6,698 | pyre-check |
| 19 | camlgrad |
| 27 | ocaml |
| 5,175 | ocaml |
| 179 | docfd |
| 69 | ocaml-jst |
| 124 | bob |
| 4 | cryptoverif |
| 132 | hax |
| 376 | lambdasoup |
| 362 | soupault |
| 515 | eioio |
Latest Discoveries
Latest discovered OCaml repos
| Stars | Project |
|---|---|
| 194 | herdtools7 |
| 7 | 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 |
| 37 | 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)