adri326 / 5dchess-notationLinks
My attempt at a notation for 5D chess
☆22Updated 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
Sorting:
- Toolset for 5D Chess computer-aided analysis written in Rust☆15Updated 3 years ago
- Search for the K12 neighborly polyhedron.☆111Updated 6 months ago
- Metamath source file for logic and set theory☆284Updated this week
- In-game warp menu for Rain World☆14Updated 3 weeks ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆56Updated 7 months ago
- A multiplayer gamemode framework for Noita using SteamAPI☆57Updated 4 months ago
- ☆32Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆487Updated this week
- Rust programming, in Chinese.☆39Updated 2 years ago
- Server to host lean games.☆278Updated this week
- TAS files for the game Celeste☆69Updated this week
- BepInEx4RW Mod manager - ONLY FOR 1.5, NOT COMPATIBLE WITH 1.9+/DOWNPOUR☆10Updated 2 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆121Updated 7 months ago
- some personification pictures I draw. just to save them here, hope you'll like them☆41Updated 2 years ago
- Front-end code. See https://github.com/rain-world-map/generation for how this was made.☆22Updated last year
- Core functionality for simulating Lenia system of cellular automata in Rust☆127Updated 2 years ago
- WIP! Not working, atm! NoitaMP, Noita Multiplayer: First synchronous multiplayer mod for Noita!☆116Updated last year
- Everest interop for DevilSquirrel's CelesteTAS☆75Updated last week
- Reverses the internal seed(s) of JavaRandom given information on its output in the form of a system of inequalities on various Random cal…☆69Updated last year
- An online math contest platform☆20Updated 2 months ago
- ☆26Updated 6 months ago
- champagne☆31Updated last year
- Infinite Chess Web Server☆215Updated this week
- An innovative modpack that contains GregTech and TerraFirmaCraft on 1.20.x.☆150Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆84Updated this week
- A small web app that allows the simple creation and decoding of Tupper's self-referential formula.☆81Updated 2 years ago
- The Lean version manager☆397Updated last month
- Sources and Code for Hanziyu Conlang☆42Updated last year
- Assembler and example programs for the CHUNGUS 2 Minecraft CPU.☆319Updated 3 years ago
- This is a repository of Rain World art, images and sprites, collected from various sources (game files, dev posts, etc.) created by the R…☆33Updated 2 years ago