Pinned Repositories
12factor
certicoq
A Verified Compiler for Gallina, Written in Gallina
direnv
unclutter your .profile
docs
Prometheus documentation: content and static site generator
egcd
Easy-to-import library with a basic, efficient, pure-Python implementation of the extended Euclidean algorithm.
FStar
A Proof-oriented Programming Language
go
The Go programming language
go-competitive-prog
A collection of tools for competitive programming in Go
gofail
failpoints for go
melrose-for-emacs
Emacs extension for Melrose music programmable MIDI server
mzacho's Repositories
mzacho/homebrew-audio-plugins
Caskroom tap dedicated to free AU and VST plugins
mzacho/pinentry-emacs
a pinentry for gpg that uses emacsclient to prompt for the passphrase.