robinhouston/xbrl-extractor
Extract data from Companies House accounts
Public GitHub Catalog
Discovered Sep 27, 2026
robinhouston / mll-proof-equivalence
The complexity of proof equivalence in multiplicative linear logic
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#11283926GitHub System ID
robinhoustonOrganization / User
PublicVisibility
ActiveCatalog Status
More from robinhouston
robinhouston/OpenLogic
An open-source, customizable intermediate logic textbook
robinhouston/coins
Find all the ways to make a specified amount from a specified number of specified coins
robinhouston/xcv
Cut, Copy and Paste files with Bash