398
745
1,545
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 95 | 6,489 | The compiler for ReScript. | |
| 75 | 9,816 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
| 19 | 1,062 | Systems language with linear types and capability-based security. | |
| 9 | 139 | Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server | |
| 5 | 824 | Standard library for OCaml | |
| 2 | 450 | An actor-model multi-core scheduler for OCaml 5 🐫 | |
| 1 | 196 | 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 | |
| 1 | 5 | This contains documentation and examples on how to use Buck 2 to build OCaml projects. |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
| Stars | Project |
|---|---|
| 450 | riot |
| 5 | OCaml-Buck-2-Examples |
| 824 | base |
| 139 | dream-html |
| 9,816 | semgrep |
| 6,489 | rescript-compiler |
| 7 | pen |
| 196 | herdtools7 |
| 1,062 | austral |
| 9 | lolita |
| 6,699 | pyre-check |
| 19 | camlgrad |
| 27 | ocaml |
| 5,193 | ocaml |
| 181 | docfd |
| 70 | ocaml-jst |
| 124 | bob |
| 4 | cryptoverif |
| 141 | hax |
| 362 | soupault |
Latest Discoveries
Latest discovered OCaml repos
| Stars | Project |
|---|---|
| 5 | OCaml-Buck-2-Examples |
| 196 | herdtools7 |
| 7 | pen |
| 9 | lolita |
| 19 | camlgrad |
| 27 | ocaml |
| 124 | bob |
| 4 | cryptoverif |
| 141 | hax |
| 93 | hevea |
| 0 | site-gen-ocaml |
| 288 | minttea |
| 0 | Alec |
| 54 | ocaml-tar |
| 0 | aoc-2023 |
| 1 | AoC2023 |
| 1 | aoc2023 |
| 0 | adventofcode2023 |
| 37 | polytt |
| 58 | tanenbaum |
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)