Hirrolot / datatype99View external linksLinks
Algebraic data types for C99
☆1,478Mar 17, 2025Updated 10 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,047Oct 5, 2025Updated 4 months ago
- Full-featured interfaces for C99☆340Mar 17, 2025Updated 10 months ago
- A list of awesome C preprocessor stuff☆384Jul 17, 2025Updated 6 months ago
- Memory slices for C99☆49Mar 17, 2025Updated 10 months ago
- build-once run-anywhere c library☆20,537Jan 25, 2026Updated 2 weeks ago
- Koka language compiler and interpreter☆3,802Dec 22, 2025Updated last month
- 📐 Pushing the boundaries of simplicity☆1,055Apr 26, 2025Updated 9 months ago
- A massively parallel, optimal functional runtime in Rust☆11,206Nov 21, 2024Updated last year
- A dynamic language and bytecode vm☆4,145Feb 6, 2026Updated last week
- mold: A Modern Linker 🦠☆16,176Dec 12, 2025Updated 2 months ago
- The C Template Library☆1,363Nov 9, 2021Updated 4 years ago
- Systems language with linear types and capability-based security.☆1,451Jul 28, 2025Updated 6 months ago
- A data-parallel functional programming language☆2,669Updated this week
- Bootstrapping LISP in a Boot Sector☆1,466Nov 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,807Sep 16, 2025Updated 4 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,598Jun 17, 2022Updated 3 years ago
- A tiny, embeddable language implemented in ANSI C☆1,463Jul 4, 2024Updated last year
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,523Aug 29, 2024Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Feb 5, 2026Updated last week
- minimal cross-platform standalone C headers☆9,572Feb 5, 2026Updated last week
- a small statically-linked linux system☆3,033Updated this week
- A modern supercompiler for call-by-value functional languages☆466Dec 5, 2025Updated 2 months ago
- A modern proof language☆3,719Jan 22, 2025Updated last year
- A small C compiler☆10,936Oct 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 last month
- Concurrency library for C (coroutines)☆1,323Jul 26, 2024Updated last year
- A safe, easy systems language☆2,198Updated this week
- A modern fully featured C compiler.☆1,580Jan 25, 2026Updated 2 weeks ago
- A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forw…☆1,825Jan 29, 2026Updated 2 weeks ago
- Lisp macros for C☆898Feb 5, 2024Updated 2 years ago
- Higher level programming in C☆7,093Dec 1, 2024Updated last year
- Wrangling Untrusted File Formats Safely☆4,703Nov 24, 2025Updated 2 months ago
- A purely functional programming language with first class types☆2,858Updated this week
- Lua Lisp Language☆2,713Updated this week
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆128Jun 5, 2023Updated 2 years ago
- Compiler for the C3 language☆5,112Updated this week
- 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,261Oct 7, 2024Updated last year
- A programming language with static memory management based on λ-calculus☆1,008Jan 28, 2026Updated 2 weeks ago