magic-trace collects and displays high-resolution traces of what a process is doing

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…

Creusot helps you prove your code is correct in an automated fashion.

A simple, fast and user-friendly alternative to 'find'

🦄 Modern Org Style

Official Zulip terminal client.

Lean documentation authoring tool

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Geometric Algebra for Python

The agda-unimath library

Scylla, a tool for translating ultra-regular C code to Safe Rust

Modeling and Proving in Computational Type Theory

Source code accompanying the Bachelor's thesis of Dominik Wehr.

😎TT

The Twelf Programming Language

Formalisation of Algebraic Geometry based on the HoTT library.

Gerbil Scheme

M. Ultseq, the genius many-valued sequent theorem prover

Use your Neovim like using Cursor AI IDE!

Vulkan Quake port based on QuakeSpasm

Extension of mesa for performance and scalability

AqBanking Mirror (https://git.aquamaniac.de/git/aqbanking)

A verification toolchain for Rust programs

Overview of tactics in Lean 4 for beginners — longer version