A verification toolchain for Rust programs
GitHub repository with 794 stars and 77 forks.
Language: OCaml
Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar, hol4, lean, ocaml, program-verification
2026-06-05: 794 stars and 77 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
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
OCaml - Oxidized!
GitHub repository with 760 stars and 151 forks.
Trending score: 0.81; stars gained: +3; forks gained: +2.
Language: OCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
GitHub repository with 5,471 stars and 733 forks.
Trending score: 0.60; stars gained: +3; forks gained: +1.
Language: OCaml
Topics: coq, dependent-types, proof-assistant, theorem-proving
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
GitHub repository with 378 stars and 116 forks.
Trending score: 0.44; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: consanguinity, database, family-tree, gedcom, genealogy, graph
Github test mirror of the Octez software. Please do not submit pull-requests here!
GitHub repository with 113 stars and 40 forks.
Trending score: 0.33; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: blockchain, ocaml, smart-contracts, tezos
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
Empowering everyone to build reliable and efficient software.
GitHub repository with 113,582 stars and 15,080 forks.
Trending score: 3.01; stars gained: +45; forks gained: +2.
Language: Rust
Topics: compiler, language, rust
The React Framework
GitHub repository with 139,844 stars and 31,200 forks.
Trending score: 2.67; stars gained: +28; forks gained: -1.
Language: JavaScript
Topics: blog, browser, compiler, components, hybrid, nextjs
⚓ A collection of high-performance JavaScript tools.
GitHub repository with 21,442 stars and 1,064 forks.
Trending score: 2.67; stars gained: +43; forks gained: +4.
Language: Rust
Topics: compiler, javascript, linter, minifier, parser, transpiler
The Kotlin Programming Language.
GitHub repository with 52,811 stars and 6,324 forks.
Trending score: 2.08; stars gained: +9; forks gained: +6.
Language: Kotlin
Topics: compiler, gradle-plugin, intellij-plugin, kotlin, kotlin-library, maven-plugin
Unofficial High-Performance Vue.js Toolchain in Rust
GitHub repository with 727 stars and 30 forks.
Trending score: 2.08; stars gained: +5; forks gained: +1.
Language: Rust
Topics: compiler, linter, lsp, parser, performance, semantic-analysis
Odin Programming Language
GitHub repository with 10,584 stars and 974 forks.
Trending score: 1.68; stars gained: +30; forks gained: +5.
Language: Odin
Topics: compiler, language, odin, odin-lang, odin-programming-language, programming-language