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:
- A retro InstallShield screen spoof☆10Sep 21, 2018Updated 8 years ago
- Roguelike(like) puzzle game created for 7DRL-2016 challange☆27Apr 15, 2016Updated 10 years ago
- Wow, this php performs mruby!☆19Aug 24, 2012Updated 14 years ago
- A minimal example of how to do integration testing in React Native.☆13Jul 27, 2017Updated 9 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 3 weeks 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.
- ☆15Oct 7, 2021Updated 5 years ago
- Direct-to-S3 uploads in Clojure.☆11Sep 4, 2014Updated 12 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 2 weeks ago
- ☆15Jan 16, 2020Updated 6 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Sep 11, 2017Updated 9 years ago
- Quick application reset/refresh for rapid clojure development cycles☆12Jan 13, 2015Updated 11 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- OpenVZ MAD Profile☆15Sep 24, 2026Updated last month
- Functional reactive game programming in GNU Guile Scheme. (mirror)☆43Nov 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.
- A one-note-parser for Java☆11Dec 4, 2019Updated 6 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- A tiny Clojure library for working with random numbers.☆16Mar 11, 2024Updated 2 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Apr 8, 2018Updated 8 years ago
- Another MessagePack implementation in Rust, this time with shiny new no_std serde☆13Dec 19, 2019Updated 6 years ago
- An implementation of the datalog query language with user-provided indexes.☆15Jun 22, 2015Updated 11 years ago
- ClojureScript React Native Om Next Auto-Completion☆16Nov 22, 2015Updated 10 years ago
- Offline location geocoder/reverse geocoder from GeoName datasets☆17Oct 1, 2018Updated 8 years ago
- A REPL for C☆10Jun 11, 2026Updated 4 months 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.
- Outbound mail sender with dkim StartTLS☆16Jul 3, 2025Updated last year
- AllegroForthKit: A game programming framework built on Allegro 5.☆22Sep 26, 2019Updated 7 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- Datomic Utility Library☆20Jan 27, 2018Updated 8 years ago
- Simple and intelligent configuration file management.☆40Jan 28, 2018Updated 8 years ago
- This statically hosted tool can be used to establish a workflow for reviewing build artifacts on github.☆15Jan 6, 2023Updated 3 years ago
- Sample single page web app on clojure and clojurescript☆14May 19, 2016Updated 10 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆15Nov 5, 2011Updated 14 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.
- Implementation of Cocke–Younger–Kasami parsing algorithm in JavaScript☆11Sep 28, 2014Updated 12 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.☆11Oct 27, 2014Updated 12 years ago
- A grep program configured the way I like it.☆10Aug 30, 2023Updated 3 years ago
- OSX build script for zynaddsubfx☆13Feb 4, 2020Updated 6 years ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆20Jun 18, 2015Updated 11 years ago