Christian Widera's repositories
Language:C000
debif-ts
Encoder & decoder of shnak binary format SBF
Language:TypeScriptAGPL-3.0000
idris_read_bytes_ct
Read a file into List Bits8 during compile time in Idris
000
shnak-ts
A simple implementation of the shnak protocol
Language:TypeScriptAGPL-3.0000