Stars
True coop multiplayer mod for Noita.
Lean 4 programming language and theorem prover
High-performance, well-tested & documented core libraries for Ethereum, in Rust
Empowering everyone to build reliable and efficient software.
A purely functional programming language with first class types
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Archive for all Rocq and Coq-related opam packages organized in various repositories
Agda is a dependently typed programming language / interactive theorem prover.
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 environmen…
Home of the Rockstar programming language
Statistics-driven benchmarking library for Rust
A cross-platform, OpenGL terminal emulator.
A modern editor with a backend written in Rust.
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.