Beast code in Giters

Frank Dedden's repositories

Set of utility functions to facilitate working with language-c99

Language:HaskellMIT500

Implementation of C99's AST and pretty printer in Haskell, strictly following www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf

Language:HaskellMIT400

Simplified C AST that translates to language-c99

Language:HaskellMIT3 1 8

Our homepage

Language:JavaScriptNOASSERTION100

Language:JavaScript000

Repository containing the exercises for the Copilot tutorial at BobKonf 2024

Language:HaskellBSD-3-Clause000

A stream-based runtime-verification framework for generating hard real-time C code.

Language:Haskell000