Algebraic data types for C99
☆1,477Mar 17, 2025Updated 11 months ago
Alternatives and similar repositories for datatype99
Users that are interested in datatype99 are comparing it to the libraries listed below
Sorting:
- Full-blown preprocessor metaprogramming☆1,046Oct 5, 2025Updated 5 months ago
- Full-featured interfaces for C99☆342Mar 17, 2025Updated 11 months ago
- A list of awesome C preprocessor stuff☆384Jul 17, 2025Updated 7 months ago
- Memory slices for C99☆50Mar 17, 2025Updated 11 months ago
- build-once run-anywhere c library☆20,601Jan 25, 2026Updated last month
- Koka language compiler and interpreter☆3,823Feb 25, 2026Updated last week
- 📐 Pushing the boundaries of simplicity☆1,058Apr 26, 2025Updated 10 months ago
- A massively parallel, optimal functional runtime in Rust☆11,214Nov 21, 2024Updated last year
- A dynamic language and bytecode vm☆4,163Updated this week
- mold: A Modern Linker 🦠☆16,209Feb 27, 2026Updated last week
- The C Template Library☆1,364Nov 9, 2021Updated 4 years ago
- Systems language with linear types and capability-based security.☆1,463Jul 28, 2025Updated 7 months ago
- A data-parallel functional programming language☆2,673Updated this week
- Bootstrapping LISP in a Boot Sector☆1,472Nov 27, 2024Updated last year
- A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects.☆447Dec 15, 2023Updated 2 years ago
- A statically typed lisp, without a GC, for real-time applications.☆5,824Feb 26, 2026Updated last week
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,599Jun 17, 2022Updated 3 years ago
- A tiny, embeddable language implemented in ANSI C☆1,470Jul 4, 2024Updated last year
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,532Aug 29, 2024Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆214Feb 28, 2026Updated last week
- minimal cross-platform standalone C headers☆9,653Updated this week
- a small statically-linked linux system☆3,035Updated this week
- A modern supercompiler for call-by-value functional languages☆467Dec 5, 2025Updated 3 months ago
- A modern proof language☆3,728Jan 22, 2025Updated last year
- A small C compiler☆10,968Oct 30, 2023Updated 2 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Dec 18, 2025Updated 2 months ago
- Concurrency library for C (coroutines)☆1,328Jul 26, 2024Updated last year
- A safe, easy systems language☆2,206Updated this week
- A modern fully featured C compiler.☆1,595Feb 27, 2026Updated last week
- A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forw…☆1,840Feb 26, 2026Updated last week
- Lisp macros for C☆897Feb 5, 2024Updated 2 years ago
- Higher level programming in C☆7,093Dec 1, 2024Updated last year
- Wrangling Untrusted File Formats Safely☆4,708Feb 9, 2026Updated 3 weeks ago
- A purely functional programming language with first class types☆2,884Feb 24, 2026Updated last week
- Lua Lisp Language☆2,716Feb 8, 2026Updated 3 weeks ago
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Jun 5, 2023Updated 2 years ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,263Oct 7, 2024Updated last year
- A programming language with static memory management based on λ-calculus☆1,009Jan 28, 2026Updated last month
- Compiler for the C3 language☆5,184Updated this week