fdedden

System F Computing

Pinned Repositories

copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Language:Haskell629 32 37050
copilot-c99
(DEPRECATED) A C99-backend for Copilot
Language:Haskell7 12 02
bob2015
Language:JavaScript00
bobkonf-2024-copilot-tutorial
Repository containing the exercises for the Copilot tutorial at BobKonf 2024
Language:Haskell00
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Language:Haskell00
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:Haskell45
language-c99-simple
Simplified C AST that translates to language-c99
Language:Haskell3 1 144
language-c99-util
Set of utility functions to facilitate working with language-c99
Language:Haskell53
zfoh.ch
Our homepage
Language:JavaScript10
zfoh.ch
Our homepage
Language:JavaScript18 8 688

fdedden's Repositories

fdedden/language-c99-util
Set of utility functions to facilitate working with language-c99
Language:Haskell53
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
Language:Haskell45
fdedden/language-c99-simple
Simplified C AST that translates to language-c99
Language:Haskell3 1 144
fdedden/zfoh.ch
Our homepage
Language:JavaScript10
fdedden/bob2015
Language:JavaScript00
fdedden/bobkonf-2024-copilot-tutorial
Repository containing the exercises for the Copilot tutorial at BobKonf 2024
Language:Haskell00
fdedden/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Language:Haskell00