callec

Pinned Repositories

DAT257_Laser_Disc
Language:Dart10
am-reader
Language:Go00
plan9port
Plan 9 from User Space
Language:C1.6k318
ghc-dbg
An experiment in developing a debugger for Haskell
Language:Haskell21
Provably_Correct_Finite_Maps
Provably Correct Key-Value Maps in Agda
Language:Agda00

callec's Repositories

callec/am-reader
Language:Go
callec/DAT257_Laser_Disc
Language:Dart1