5 projects
coq-tools
Some scripts to help manipulate Coq developments and minimize error-producing Coq code
subprocess-multitee
A small `tee` function for splitting stdout/stderr in subprocess, and a `subprocess.Popen` convenience wrapper
memoshelve
A persistent memoization decorator using Python's shelve with two-tier caching (memory + disk).
subprocess4
Python subprocess wrapper using os.wait4 to get resource usage
tikzplotlib-patched
Convert matplotlib figures into TikZ/PGFPlots. Version of tikzplotlib patched with additional patches.
