maweki/tatham-slv
Solver collection for Simon Tatham's puzzle collection
A reboot of TiddlyWiki for the next 25 years
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Solver collection for Simon Tatham's puzzle collection
A programming language running on CPython VM.
Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD and BuDDy
Analyse der Twittermeldungen der Leipziger Verkehrsbetriebe