niswegmann/copilot-cbmc
cbmc based tool for verifying copilot programs
Developer Profile
niswegmann
Discovered public repositories for niswegmann in the GitHub catalog.
niswegmann/pp
A pretty-printer
niswegmann/dtext
Difference texts
niswegmann/murmurhash3
Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.
niswegmann/copilot-discussion
Public repository.
niswegmann/copilot-c99
A C99-backend for Copilot
niswegmann/copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
niswegmann/copilot-core-gadt
The currently unused intermediate representation for CoPilot based on GADTs.
niswegmann/copilot-language
Public repository.