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☆24Apr 15, 2016Updated 10 years ago
- ☆10Sep 5, 2018Updated 7 years ago
- Utilities for parsing Lisp code - previously known as cleavir-code-utilities☆10Jun 30, 2026Updated 3 weeks 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
- check `# => ` comment's validity☆12Jun 10, 2017Updated 9 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.
- Ruby convention in esm☆12Aug 31, 2018Updated 7 years ago
- A vscode plugin jumps to pull request url.☆13Sep 15, 2023Updated 2 years ago
- ☆10Oct 10, 2024Updated last year
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- ☆11Jul 30, 2015Updated 10 years ago
- ☆16Jun 11, 2025Updated last year
- ☆12Jul 28, 2017Updated 8 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Sep 11, 2017Updated 8 years ago
- Crystal shard wrapping libgphoto2☆19Jun 18, 2026Updated last month
- 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.
- Hana is an elegant, clean and minimalistic interpreted programming language inspired from lua, python and javascript <3☆11Apr 23, 2023Updated 3 years ago
- ☆15Jan 16, 2020Updated 6 years ago
- Convenience functions to populate Datomic DB with data, to define DB schema.☆16Apr 18, 2015Updated 11 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A Toyota AE86 for your terminal.☆10Aug 31, 2017Updated 8 years ago
- Flat Shade Society - Solskogen 2019 invite☆10Oct 2, 2019Updated 6 years ago
- Datomic Utility Library☆20Jan 27, 2018Updated 8 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- ESM's portage overlay. It's useful for especially Ruby/Rails application development.☆18Feb 20, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- AllegroForthKit: A game programming framework built on Allegro 5.☆22Sep 26, 2019Updated 6 years ago
- A Crystal Implementation of a Thompson NFA/DFA Regex Matcher☆19Apr 18, 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
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- power_assert in irb☆25Updated this week
- Language and IDE for action game development using html5+js.☆21Updated this week
- Offline location geocoder/reverse geocoder from GeoName datasets☆17Oct 1, 2018Updated 7 years ago
- ☆66Jan 12, 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.
- WASI Tsoding Stream Artifacts☆16May 21, 2021Updated 5 years ago
- Forth cross-compiler targeting 6502 processors.☆18May 10, 2025Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 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
- Ruby-FFI compatible API layer for Fiddle.☆15Oct 23, 2021Updated 4 years ago
- An emulator for various m68k and z80 based computers, written in Rust. Currently it has support for the Sega Genesis, TRS-80, and Comput…☆62Updated this week
- Ego-search tool for idobata.io☆20Mar 13, 2017Updated 9 years ago