Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / pmatos / racket-bv
Racket bitvectors a-la rosette
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pmatos%2Fracket-bv
Stars: 7
Forks: 1
Open Issues: 0
License: apache-2.0
Language: Racket
Repo Size: 34.2 KB
Dependencies:
0
Created: over 4 years ago
Updated: about 2 months ago
Last pushed: about 2 years ago
Last synced: 30 days ago
Topics: bitvector, racket, rosette
Funding links: https://github.com/sponsors/pmatos
Files
Loading...
Readme
Loading...
No dependencies found