Geeks
ziman
/
idris-bytes
FFI-based byte buffers for Idris
Primary Language
Idris
idris-bytes GitHub
Markdown
Readme
0
Issues
11
Stargazers
3
Watchers
Watchers
jhcloos
Jmots2
ziman