GitHub repository: stefan-hoeck/idris2-cptr
Primary language: Idris
Created: 2024-08-19T07:01:57Z
Description: Fun with C-Pointers