DataKinds / charm
A [ functional stack ] based language.
☆29Updated last year
Alternatives and similar repositories for charm:
Users that are interested in charm are comparing it to the libraries listed below
- a self-hosting lambda calculus compiler☆35Updated 4 years ago
- A reversible language☆22Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- The Alms Programming Language☆44Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Stack-based esoteric programming language☆18Updated 2 months ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- NanoVG Haskell bindings☆22Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- ☆17Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated last year
- A simple implementation of linear type theory☆38Updated 7 years ago
- Compiler for the Rum language☆26Updated 5 years ago