GitHub repository: statebox/idris-bytes
Primary language: Idris
Description: FFI-based byte buffers for Idris