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.

Constructive Galois connections

Performance monitoring and benchmarking suite

A 21st century LaTeX wrapper

formally verified category theory library

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

🏳️‍⚧️ Trans Pride in GitHub Repository Languages

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

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

The Incredible Proof Machine

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee…

Extensional capabilities and deriving combinators

Gracefully ends a Tokio-based application upon receiving a signal

Type-safe data versioning.

uhubctl - USB hub per-port power control