Mathias Rav's repositories
academy-bdd
Academy - BDD edition
audionotes-ipe-py
Convert AudioNote recordings to RTF, PDF and MP3
bblinks
BlackBoard links in Aarhus University course catalogue
charclipper
Tray menu from which you can copy Unicode characters to clipboard
coqdepend
Plot dependencies between lemmas in a single Coq file
ctypestest
Calling C from Python
dht
Deterministic hash table (implementation and microbenchmarks)
django
The Web framework for perfectionists with deadlines.
django-versatileimagefield
A drop-in replacement for django's ImageField that provides a flexible, intuitive and easily-extensible interface for quickly creating new images from the one assigned to the field.
dot2ipe
Convert graph laid out by GraphViz into an Ipe vector file
dyrekort
If n balls are thrown into k bins, what is the probability that every bin gets at least one ball?
kotoptag
KOT-optag
multim
Run ImageMagick and other commands in parallel
mutag
Edit music file tags with Mutagen in your $EDITOR
openttd
Fork of OpenTTD https://git.openttd.org/
pdfcitations
Use PyPDF2 to show which references are actually cited in a paper
point-union
Compute the union of a set of unit circles
python-conference-beginners-day
Some docs to support the organising of a "beginners' day" at Python conferences
scheme-syntax
Rust S-list parser