GitHub repository: reynir/idris-ffi-example
Primary language: Idris
Description: A minimal example of the Idris C FFI