adri326 / 5dchess-notation
My attempt at a notation for 5D chess
☆21Updated 3 years ago
Alternatives and similar repositories for 5dchess-notation:
Users that are interested in 5dchess-notation are comparing it to the libraries listed below
- 5D Diplomacy With Multiverse Time Travel☆218Updated last month
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆46Updated 2 months ago
- TAS files for the game Celeste☆64Updated this week
- Search for the K12 neighborly polyhedron.☆103Updated last month
- ☆280Updated 2 years ago
- Natural Number Game☆129Updated last month
- The Life Engine☆471Updated 4 months ago
- Ascii Fluid Dynamics (not my code but an ioccc.org submission that is amazing)☆35Updated 4 years ago
- Enhancing the Factorio experience with SAT solvers☆711Updated 5 months ago
- ☆170Updated last month
- Hutter Prize Submission 2021a: STARLIT + cmix☆99Updated last year
- ☆30Updated last year
- A computer algebra system for research in combinatorial game theory☆36Updated last year
- Theory SDK for the mobile game Exponential Idle☆49Updated 3 weeks ago
- a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable☆24Updated last year
- Steno Arcade is a suite of arcade games designed to teach and drill steno fundamentals in an immersive, addictive, responsive, and intera…☆21Updated 3 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆334Updated this week
- Discord glossing bot for Ithkuil IV☆19Updated last year
- An interactive conic visualization app used to record this video.☆184Updated 4 years ago
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆37Updated last year
- ☆59Updated 10 months ago
- Join the Minecraft@Home volunteer distributed computing project - Powered by BOINC☆110Updated last year
- A collection of the mods for Logic World that I created.☆21Updated last week
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆121Updated this week
- Busy Beaver deciders backed by Coq proof☆41Updated 6 months ago
- A verifier for Factorio blueprints, enabling one to automatically check logical properties☆30Updated last month
- The Non-Euclidean Unity Backend for Hyperbolica☆268Updated 2 years ago
- Watch This Place's awesome video about iterated Prisoner's Dilemma for context! https://www.youtube.com/watch?v=BOvAbjfJ0x0☆23Updated 2 years ago
- An interpreter for the Shakespeare Programming Language, implemented in Python☆96Updated 11 months ago
- 👳 A Brainfuck game. Try it, it's free2play!☆25Updated 8 years ago