xapi-project/xen-api
The Xapi Project's XenAPI Server
GitHub repository with 365 stars and 301 forks.
Language: OCaml
The Xapi Project's XenAPI Server
GitHub repository with 365 stars and 301 forks.
Language: OCaml
2026-06-05: 365 stars and 301 forks.
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,648 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
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
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
GitHub repository with 304 stars and 41 forks.
Trending score: 0.52; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution
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
OCaml library for reading, writing and modifying PDF files
GitHub repository with 230 stars and 33 forks.
Trending score: 0.48; stars gained: +1; forks gained: +0.
Language: OCaml
The HOL Light theorem prover
GitHub repository with 535 stars and 94 forks.
Trending score: 0.37; stars gained: +1; forks gained: +0.
Language: OCaml
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,648 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
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
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
GitHub repository with 304 stars and 41 forks.
Trending score: 0.52; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution
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
OCaml library for reading, writing and modifying PDF files
GitHub repository with 230 stars and 33 forks.
Trending score: 0.48; stars gained: +1; forks gained: +0.
Language: OCaml
The HOL Light theorem prover
GitHub repository with 535 stars and 94 forks.
Trending score: 0.37; stars gained: +1; forks gained: +0.
Language: OCaml