hirrolot / datatype99
Algebraic data types for C99
☆1,400Updated last week
Alternatives and similar repositories for datatype99:
Users that are interested in datatype99 are comparing it to the libraries listed below
- Full-blown preprocessor metaprogramming☆913Updated last week
- Full-featured interfaces for C99☆320Updated last week
- Cake a C23 front end and transpiler written in C☆594Updated this week
- Systems language with linear types and capability-based security.☆1,220Updated 9 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,601Updated 2 years ago
- A tiny, embeddable language implemented in ANSI C☆1,345Updated 8 months ago
- The best C-like language that can be implemented in 10kLOC.☆562Updated this week
- A modern fully featured C compiler.☆1,304Updated last week
- A Modern C11 compiler (STILL EARLY)☆1,094Updated this week
- Bootstrapping LISP in a Boot Sector☆1,338Updated 4 months ago
- The C Template Library☆1,102Updated 3 years ago
- Platform independent low-level JIT compiler☆919Updated last week
- A VM That is Dynamic and Fast☆1,610Updated 4 months ago
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,399Updated 6 months ago
- A small extensible programming language designed for concise expression with little code.☆1,068Updated 6 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,855Updated 10 months ago
- A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forw…☆1,540Updated this week
- The most minimal cross-platform GUI library☆995Updated 6 months ago
- A Quick Backend☆328Updated 3 years ago
- C11 compiler (mirror)☆757Updated last month
- Cone Programming Language☆535Updated 2 years ago
- nsync is a C library that exports various synchronization primitives, such as mutexes☆1,144Updated 8 months ago
- ninja-compatible build tool written in C☆875Updated 3 weeks ago
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- A parser generator for C☆364Updated last week
- x86 C compiler written in untyped lambda calculus☆648Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆961Updated last year
- a small statically-linked linux system☆2,908Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,112Updated this week
- A list of awesome C preprocessor stuff☆322Updated 3 months ago