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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Binary "disassembler" interpreting as raster scan-lines and pixel maps☆12Aug 6, 2018Updated 8 years ago
- Utilities for parsing Lisp code - previously known as cleavir-code-utilities☆10Jul 29, 2026Updated 2 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Updated this week
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- Linux kernel source tree☆15May 6, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Aug 4, 2023Updated 3 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- Marker Enrichment Modeling (MEM)☆13Nov 22, 2021Updated 4 years ago
- Deprecated. Natiq Quran open API with RUST.☆10Jul 21, 2025Updated last year
- Identify and extract files from container formats using unblob.☆29Jul 15, 2026Updated 2 months ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Sep 11, 2017Updated 9 years ago
- ☆23Oct 4, 2026Updated last week
- Hana is an elegant, clean and minimalistic interpreted programming language inspired from lua, python and javascript <3☆11Apr 23, 2023Updated 3 years ago
- Functional reactive game programming in GNU Guile Scheme. (mirror)☆42Nov 11, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Aug 30, 2021Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Cerbos Rust SDK☆17Oct 5, 2026Updated last week
- Procedural Generation Using Differentiable Programming☆16Sep 29, 2019Updated 7 years ago
- Flat Shade Society - Solskogen 2019 invite☆10Oct 2, 2019Updated 7 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- Transform your CapsLock into an AI key! This AutoHotkey app puts powerful AI capabilities right at your fingertips, supercharging your Wi…☆22Oct 31, 2025Updated 11 months ago
- Implementing 64-bit Maximally Equidistributed F2-Linear Generators with Mersenne Prime Period☆15Mar 18, 2023Updated 3 years ago
- ☆14Oct 19, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- AllegroForthKit: A game programming framework built on Allegro 5.☆22Sep 26, 2019Updated 7 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Apr 8, 2018Updated 8 years ago
- Audiosurf 1 server replacement written in TypeScript using node.js, Fastify and Prisma.☆19Jan 23, 2026Updated 8 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago
- WASI Tsoding Stream Artifacts☆16May 21, 2021Updated 5 years ago
- My run through of Mark Seeman's FSharp Architecture Pluralsight Course☆14Aug 24, 2015Updated 11 years ago
- A Serverless Offline plugin that exposes lambdas with no API Gateway event via HTTP, to allow offline direct lambda-to-lambda interaction…☆23Apr 20, 2021Updated 5 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 6 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A very simple repo for practicing with git and GitHub.☆19Jul 3, 2024Updated 2 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
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- Python implementation of hash-tables using different techniques(Open addressing & Separate Chaining) for solving hash collisions.☆16Nov 25, 2023Updated 2 years ago