397
741
1,539
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 8 | 22,078 | Adds static typing to JavaScript to improve developer productivity and code quality. | |
| 42 | 14,693 | A static analyzer for Java, C, C++, and Objective-C | |
| 44 | 10,054 | Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems | |
| 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. | |
| 94 | 6,453 | The compiler for ReScript. | |
| 20 | 5,357 | FUSE filesystem over Google Drive | |
| 119 | 5,156 | The core OCaml system: compilers, runtime system, base libraries | |
| 87 | 4,602 | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. | |
| 29 | 4,432 | magic-trace collects and displays high-resolution traces of what a process is doing | |
| 8 | 4,281 | A language that compiles to Bash and Windows Batch | |
| 27 | 3,726 | Unison file synchronizer | |
| 32 | 2,429 | MirageOS is a library operating system that constructs unikernels | |
| 3 | 2,265 | A code rewrite tool for structural search and replace that supports ~every language. | |
| 3 | 1,975 | Binary Analysis Platform | |
| 9 | 1,936 | Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. | |
| 35 | 1,907 | Programming language for literate programming law specification | |
| 2 | 1,802 | The fastest pixel-by-pixel image visual difference tool in the world. | |
| 1 | 1,610 | Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection | |
| 12 | 1,543 | Context sensitive completion for OCaml in Vim and Emacs |
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?