dmcooke
Follow
Stars
snapshots of releases and interim labels for "xterm" https://invisible-island.net/personal/git-exports.html (no pull requests)
Publish SANE scanners to MacOS, Android, and Windows via Apple AirScan.
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
a feathered serpent, delightful integration between python, the serpent, and TCL, the feather...
Reverse engineering of Validity/Synaptics 06cb:00da for Linux
Epidemiological Data from the COVID-19 Epidemic in Canada
Trio – a friendly Python library for async concurrency and I/O
Addon that keeps track of the instance/raid lockouts saved against your characters, and related currencies and cooldowns.
Modular and lightweight approach to providing you with the tools you need to beat any boss encounter.
This repo is the new home of Proof General
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
A Coq IDE build on top of Proof General's Coq mode
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
The fundamental package for scientific computing with Python.
Lunatic Python is a two-way bridge between Python and Lua. This is a branch of Gustavo Niemeyer's code at http://labix.org/lunatic-python