mcmtroffaes/agda-proofs
Public repository.
Developer Profile
mcmtroffaes
Discovered public repositories for mcmtroffaes in the GitHub catalog.
mcmtroffaes/cookiecutter-pypackage
Cookiecutter template for a Python package. See https://github.com/audreyr/cookiecutter.
mcmtroffaes/homepage
My homepage.
mcmtroffaes/pybtex-docutils
A docutils backend for pybtex.
mcmtroffaes/bibliography
My bibtex bibliography.
mcmtroffaes/quickrest
Quick restructured text creator.
mcmtroffaes/sphinxcontrib-bibtex
Sphinx extension for bibtex style references.
mcmtroffaes/latexcodec
Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is far superior: https://github.com/phfaist/pylatexenc
mcmtroffaes/improb
A Python module for working with imprecise probabilities.
mcmtroffaes/pycddlib
A Python wrapper for Komei Fukuda's cddlib.
mcmtroffaes/cddlib_old
Please refer to the official version of cddlib on github instead.
mcmtroffaes/config-openbox
My openbox configuration.
mcmtroffaes/xresources
My .Xresources file.
mcmtroffaes/kbtune
Keyboard tuning calculator.