catseye / Thue
Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
☆27Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Thue
- My Own Linear Lisp☆37Updated 6 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Intuitionistic Programming Language☆11Updated 10 years ago
- ☆17Updated 5 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- ☆21Updated 11 years ago
- combined object/lambda architcture☆25Updated 15 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆14Updated 8 years ago
- Poplog☆21Updated 14 years ago
- High-end Cryptographic Library☆43Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Lisp implementation in Befunge☆26Updated 8 years ago
- backup of the joy programming language☆27Updated 8 years ago
- A tiny CPU☆20Updated 15 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- a syntax directed editor☆17Updated 7 months ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- ☆18Updated 3 weeks ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 4 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago