Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
git.envs.net / iacore / lean-primitives
f32, f64, u8-128, i8-128 backed by Zig
JSON API: https://repos.ecosyste.ms/api/v1/hosts/git.envs.net/repositories/iacore%2Flean-primitives
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Lean
Repo Size: 31.3 KB
Dependencies: pending
Created: about 1 year ago
Updated: about 1 year ago
Last synced: 5 months ago
Files
Loading...
Readme
Loading...