There are no reviews yet. Be the first to send feedback to the community and the maintainers!
hott3
HoTT in Lean 3trepplein
Lean type-checker written in Scala.m17n-lean
System-wide Lean input methoddali-usb
Firmware for a DALI-USB adapter using an ATtiny45.lean4-old
Lean4 work in progress repocompiz-cms
Color management in compiz.hledger-diff
Compares the transactions in two ledger files.oleanparser
lean4-mathlib-import
dali-usb-host
Host utilities for my DALI-USB adaptersuper2
avm2017_tutorial
Materials for the Lean tutorial at the Alpine Verification Meeting 2017inundation
Stress test for Lake.pass2keepass
Simple tool to convert passwords from pass into keepassx (v1) format.num-ws11-bsp2
autograder
notmuch2gmvault
Small tool to convert a notmuch database to a gmvault backup.num-ws11-bsp1
numint
Final project for the numerics course in the fall semester 2011.Love Open Source and this site? Check out how you can help us