A Juno-inspired dual oscillator

A web application to visualize complex mappings.

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

Re-editable LaTeX/ typst graphics for Inkscape

Scots Army Knife for electronics

A makefile for text

A Valgrind tool for Herbie

Measure time complexity empirically.

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

A port of Coq to Javascript -- Run Coq in your Browser

Collection of rust assignments from Programming Rust.

An introductory course to Homotopy Type Theory

Constructive Galois connections

Performance monitoring and benchmarking suite

Autolookup tool to work alongside Plover stenography software

A 21st century LaTeX wrapper

formally verified category theory library

A fast, easy-to-use ring solver for agda with step-by-step solutions

🦀 Small exercises to get you used to reading and writing Rust code!

🏳️‍⚧️ Trans Pride in GitHub Repository Languages

🏳️‍🌈 LGBT pride in here 🏳️‍🌈

A Coq Library for Efficiently Executable Sets

Interactive theorem proving with Coq in vim.

Another version of ProofGeneral character, じぇねらるたん

A compiler for little languages in tagged template strings

ｆｕｌｌ ｗｉｄｔｈ ａｅｓｔｈｅｔｉｃｓ

Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows

Enlighten Progress Bar for Python Console Apps

async for rust without the noise