backtracking/ocaml-hashcons
OCaml hash-consing library
GitHub repository with 55 stars and 12 forks.
Language: OCaml
OCaml hash-consing library
GitHub repository with 55 stars and 12 forks.
Language: OCaml
Trending score 0.03, activity score 0.01, stars gained +0, forks gained +0.
2026-06-02: 55 stars and 12 forks.
The core OCaml system: compilers, runtime system, base libraries
GitHub repository with 6,390 stars and 1,237 forks.
Trending score: 1.39; stars gained: +28; forks gained: +2.
Language: OCaml
Topics: compiler, functional-language, ocaml
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,649 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
Performant type-checking for python.
GitHub repository with 7,166 stars and 452 forks.
Trending score: 0.70; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python
MASC - Multi-Agent Streaming Coordination in OCaml
GitHub repository with 5 stars and 1 forks.
Trending score: 0.55; stars gained: +0; forks gained: +0.
Language: OCaml
A static analyzer for Java, C, C++, and Objective-C
GitHub repository with 15,635 stars and 2,092 forks.
Trending score: 0.49; stars gained: +2; forks gained: -1.
Language: OCaml
Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
GitHub repository with 1,666 stars and 155 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: liquidsoap, streaming, webradio
The core OCaml system: compilers, runtime system, base libraries
GitHub repository with 6,390 stars and 1,237 forks.
Trending score: 1.39; stars gained: +28; forks gained: +2.
Language: OCaml
Topics: compiler, functional-language, ocaml
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,649 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
Performant type-checking for python.
GitHub repository with 7,166 stars and 452 forks.
Trending score: 0.70; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python
MASC - Multi-Agent Streaming Coordination in OCaml
GitHub repository with 5 stars and 1 forks.
Trending score: 0.55; stars gained: +0; forks gained: +0.
Language: OCaml
A static analyzer for Java, C, C++, and Objective-C
GitHub repository with 15,635 stars and 2,092 forks.
Trending score: 0.49; stars gained: +2; forks gained: -1.
Language: OCaml
Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
GitHub repository with 1,666 stars and 155 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: liquidsoap, streaming, webradio