Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / philzook58 / knuckledragger
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/philzook58%2Fknuckledragger
Stars: 4
Forks: 1
Open Issues: 0
License: mit
Language: Jupyter Notebook
Repo Size: 314 KB
Dependencies:
2
Created: over 1 year ago
Updated: 18 days ago
Last pushed: 18 days ago
Last synced: 18 days ago
Topics: logic, theorem-proving
Funding links: https://github.com/sponsors/philzook58
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi