390
731
1,513
Our great sponsors
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
2 | 10,037 | Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems | |
2 | 5,116 | The core OCaml system: compilers, runtime system, base libraries | |
1 | 22,040 | Adds static typing to JavaScript to improve developer productivity and code quality. | |
1 | 9,540 | Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | |
1 | 6,652 | Performant type-checking for python. | |
1 | 6,402 | The compiler for ReScript. | |
1 | 1,011 | Systems language with linear types and capability-based security. | |
1 | 735 | A mixture of tooling combined to produce JavaScript from OCaml & Reason |
Popular OCaml Topics
Latest Mentions
Latest mentioned OCaml repos
Stars | Project |
---|---|
6,652 | pyre-check |
5,116 | ocaml |
9,540 | semgrep |
22,040 | flow |
10,037 | reason |
6,402 | rescript-compiler |
735 | melange |
1,011 | austral |
1,163 | owl |
93 | hevea |
401 | effects-examples |
3,661 | unison |
561 | tis-interpreter |
14,648 | infer |
4,403 | magic-trace |
127 | reagents |
1,513 | dune |
312 | soupault |
4,566 | coq |
4,272 | Batsh |
Latest Discoveries
Latest discovered OCaml repos
Stars | Project |
---|---|
93 | hevea |
0 | site-gen-ocaml |
257 | minttea |
0 | Alec |
54 | ocaml-tar |
0 | aoc-2023 |
1 | AoC2023 |
1 | aoc2023 |
0 | adventofcode2023 |
30 | polytt |
56 | tanenbaum |
1 | othello-ocaml |
14 | superbol-studio-oss |
334 | riot |
292 | eliom |
385 | ocaml4noobs |
14 | doclang-benchmark |
18 | nqcc2 |
173 | ocaml-protoc |
0 | stronglytyped |