Algebraic data types for C99
-
Updated
Dec 1, 2024 - C
Algebraic data types for C99
Full-featured interfaces for C99
C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
An attempt at a simple functional programming language
Functional IR
My solutions for the Programming Languages 2 course exercises of the ECE - National Technical University of Athens.
Type Checker for Type System on Differential Privacy
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."