4y8 / esooLinks
Like the Programming Languages Zoo but with esoteric languages.
☆25Updated 5 years ago
Alternatives and similar repositories for esoo
Users that are interested in esoo are comparing it to the libraries listed below
Sorting:
- A simple λProlog interpreter☆20Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A mini language for logic programming☆23Updated 5 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- Experimental functional language☆17Updated 2 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last month
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆20Updated 8 months ago
- Hanoi tower in Coq☆26Updated last month
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- poetic concatenative programming language☆10Updated 10 months ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year