Pinned Repositories
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
copilot-c99
(DEPRECATED) A C99-backend for Copilot
bob2015
bobkonf-2024-copilot-tutorial
Repository containing the exercises for the Copilot tutorial at BobKonf 2024
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
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-c99-util
Set of utility functions to facilitate working with language-c99
zfoh.ch
Our homepage
zfoh.ch
Our homepage
fdedden's Repositories
fdedden/language-c99-util
Set of utility functions to facilitate working with language-c99
fdedden/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
fdedden/language-c99-simple
Simplified C AST that translates to language-c99
fdedden/zfoh.ch
Our homepage
fdedden/bob2015
fdedden/bobkonf-2024-copilot-tutorial
Repository containing the exercises for the Copilot tutorial at BobKonf 2024
fdedden/copilot
A stream-based runtime-verification framework for generating hard real-time C code.