Frank Dedden's repositories
language-c99-util
Set of utility functions to facilitate working with language-c99
language-c99
Implementation of C99's AST and pretty printer in Haskell, strictly following www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
language-c99-simple
Simplified C AST that translates to language-c99
Language:JavaScript000
bobkonf-2024-copilot-tutorial
Repository containing the exercises for the Copilot tutorial at BobKonf 2024
Language:HaskellBSD-3-Clause000
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Language:Haskell000