396
739
1,534
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 3 | 9,660 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
| 3 | 124 | A Rust verification tool | |
| 2 | 6,673 | Performant type-checking for python. | |
| 2 | 5,150 | The core OCaml system: compilers, runtime system, base libraries | |
| 1 | 1,026 | Systems language with linear types and capability-based security. | |
| 1 | 509 | Effects-based direct-style IO for multicore OCaml | |
| 1 | 375 | Functional HTML scraping and rewriting with CSS in OCaml | |
| 1 | 358 | Static website generator based on HTML element tree rewriting | |
| 1 | 174 | TUI multiline fuzzy document finder | |
| 1 | 122 | A peer-to-peer file-transfer tool in OCaml | |
| 1 | 70 | OCaml plus Jane Street extensions | |
| 1 | 27 | OCaml "reentrant runtime" experimental branch | |
| 1 | 13 | Toy autograd engine in OCaml with Apple Accelerate backend | |
| 1 | 4 | Python implementations for CryptoVerif 1.23 (outdated) |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
| Stars | Project |
|---|---|
| 6,673 | pyre-check |
| 9,660 | semgrep |
| 13 | camlgrad |
| 27 | ocaml |
| 5,150 | ocaml |
| 174 | docfd |
| 1,026 | austral |
| 70 | ocaml-jst |
| 122 | bob |
| 4 | cryptoverif |
| 124 | hax |
| 358 | soupault |
| 375 | lambdasoup |
| 509 | eioio |
| 22,071 | flow |
| 10,051 | reason |
| 6,436 | rescript-compiler |
| 746 | melange |
| 1,177 | owl |
| 93 | hevea |
Latest Discoveries
Latest discovered OCaml repos
| Stars | Project |
|---|---|
| 13 | camlgrad |
| 27 | ocaml |
| 122 | bob |
| 4 | cryptoverif |
| 124 | hax |
| 93 | hevea |
| 0 | site-gen-ocaml |
| 272 | 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 |
| 406 | riot |
| 294 | eliom |
Recently updated posts
- 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?
- Show HN: Docfd: TUI multiline fuzzy document finder
- Where Are the Supply Chain Safe Programming Languages?