a structural diff that understands syntax 🟥🟩

😱 Falsehoods Programmers Believe in

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lists of VPN providers (automatically updated)

A Verified Implementation of Dijkstra's Algorithm

A project to digitalise results from high energy physics into Lean.

An extensible emacs dashboard

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Tactics for discharging Lean goals into SMT solvers.

Mathematical Components

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Big integer types for Rust

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

A multithreaded strange attractor renderer

Windows inside a Docker container.

Help keeping ~/.config/emacs clean

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25

Rust ❤️ Emacs

Conic solver for optimization problems in quantum information theory

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.

Emacs package to enable transclusion with Org Mode

Better LaTeX that compiles to LaTeX

Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation

Mathematical Components compliant Analysis Library

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Add graphical view of agenda to agenda buffer

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