hirrolot / poica
A research programming language on top of C macros
☆7Updated this week
Related projects ⓘ
Alternatives and complementary repositories for poica
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- You might not need your garbage collector☆536Updated 4 years ago
- An interpreter☆180Updated 3 years ago
- Full-blown preprocessor metaprogramming☆874Updated this week
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆271Updated last year
- Full-featured interfaces for C99☆303Updated this week
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- An insanely simple self-hosted functional programming language☆152Updated 5 years ago
- A functional programming language with static memory management☆841Updated this week
- A Defer statement for C☆229Updated 3 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆304Updated last year
- Myrddin Compiler☆390Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- A parser generator for visibly pushdown languages.☆746Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- Algebraic data types for C99☆1,375Updated 2 weeks ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆532Updated 2 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- An ML-like functional programming language☆328Updated 3 years ago
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- The best C-like language that can be implemented in 10kLOC.☆482Updated last week
- The cuteness implementation of a dependently typed language.☆188Updated last year
- The compiler for Keli☆171Updated 5 years ago
- The Floyd programming language☆150Updated 2 years ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- A declarative concatenative programming language☆159Updated 3 weeks ago