The game of chess and an AI opponent written in untyped lambda calculus... and it's a quine
☆24Nov 18, 2016Updated 9 years ago
Alternatives and similar repositories for lambda_chess
Users that are interested in lambda_chess are comparing it to the libraries listed below
Sorting:
- A retro InstallShield screen spoof☆10Sep 21, 2018Updated 7 years ago
- Binary parser for Crystal☆20Mar 13, 2022Updated 3 years ago
- Roguelike(like) puzzle game created for 7DRL-2016 challange☆24Apr 15, 2016Updated 9 years ago
- ☆11Updated this week
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Create pull request of rubocop --auto-correct in CircleCI☆11Dec 31, 2017Updated 8 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- Generate WebAPI mocking response data from your rails application's request-spec. And run proxy server for mocking response.☆11Feb 10, 2016Updated 10 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A Basicode interpreter, written in Javascript. Behaves like a Commodore 64, ZX Spectrum, Dragon 32, or BBC Micro.☆11Jan 3, 2014Updated 12 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Hopefully the beginning of a new SNES game☆12May 8, 2017Updated 8 years ago
- Simple and intelligent configuration file management.☆40Jan 28, 2018Updated 8 years ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- ☆10Feb 9, 2022Updated 4 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A Toyota AE86 for your terminal.☆10Aug 31, 2017Updated 8 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- ☆10Sep 5, 2018Updated 7 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 8 months ago
- Bananapi M4B/M4Z Android Source Code☆14Nov 25, 2024Updated last year
- Source code of Skinamp for Winamp☆10Sep 22, 2020Updated 5 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago