darioteixeira/lambdoc
Lambdoc is a library providing support for semantically complex documents in Ocsigen web applications
GitHub repository with 16 stars and 1 forks.
Language: OCaml
Lambdoc is a library providing support for semantically complex documents in Ocsigen web applications
GitHub repository with 16 stars and 1 forks.
Language: OCaml
2026-06-05: 16 stars and 1 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: ocaml, compiler, functional-language
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,650 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
OCaml - Oxidized!
GitHub repository with 759 stars and 151 forks.
Trending score: 0.81; stars gained: +3; forks gained: +2.
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
EasyCrypt: Computer-Aided Cryptographic Proofs
GitHub repository with 399 stars and 63 forks.
Trending score: 0.57; stars gained: +2; forks gained: +0.
Language: OCaml
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
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: ocaml, compiler, functional-language
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,650 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
OCaml - Oxidized!
GitHub repository with 759 stars and 151 forks.
Trending score: 0.81; stars gained: +3; forks gained: +2.
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
EasyCrypt: Computer-Aided Cryptographic Proofs
GitHub repository with 399 stars and 63 forks.
Trending score: 0.57; stars gained: +2; forks gained: +0.
Language: OCaml
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