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:
- Roguelike(like) puzzle game created for 7DRL-2016 challange☆26Apr 15, 2016Updated 10 years ago
- A Clojure library for use case driven development☆11Dec 25, 2017Updated 8 years ago
- 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 last month
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Aug 27, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Linux kernel source tree☆15May 6, 2021Updated 5 years ago
- ☆10Aug 4, 2023Updated 3 years ago
- Marker Enrichment Modeling (MEM)☆13Nov 22, 2021Updated 4 years ago
- Simple Arweave identity service☆14May 15, 2019Updated 7 years ago
- 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
- Functional reactive game programming in GNU Guile Scheme. (mirror)☆42Nov 11, 2015Updated 10 years ago
- ☆13Aug 30, 2021Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20Jan 29, 2025Updated last year
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years 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
- 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 7 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago
- TLD Parser is domains resolver on the Solana Blockchain.☆20Dec 31, 2025Updated 8 months ago
- Shared repo for EM connectomics and Array Tomography render based image processing modules☆18Mar 2, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Forth cross-compiler targeting 6502 processors.☆18May 10, 2025Updated last year
- 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
- 2D to 3D Conversion☆26Nov 15, 2025Updated 10 months 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
- 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
- ☆22May 3, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- ☆21Oct 7, 2023Updated 2 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
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated 2 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- uwu☆20Aug 19, 2024Updated 2 years ago