Lists (6)
Stars
A command line tool which corrects your previous command using AI.
A project to map out the relations between different equational theories of Magmas.
Mirror of https://git.tecosaur.net/tec/org-pandoc-import
Curated list of examples, tools, contracts, and projects built with Nillion
Crucible is a library for symbolic simulation of imperative programs
The MaPLe compiler for efficient and scalable parallel functional programming
Interface with the rustc compiler for the purpose of program verification
Irmin is a distributed database that follows the same design principles as Git
A precise specification for "Rust lite / MIR plus"
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Static recompilation of Majora's Mask (and soon Ocarina of Time) for PC (Windows/Linux)
Tool to statically recompile N64 games into native executables
A simple demonstration of the Agda Reflection API
A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses t…
Lecture notes for the lab sessions of the "Category Theory and its Applications" course 2024 @ Tallinn University of Technology
Superseded by https://github.com/circify/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
A Haskell library for converting LaTeX math to MathML.
Build system optimized for JavaScript and TypeScript, written in Rust