Alternatives and similar repositories for 5dchess-notation:

Users that are interested in 5dchess-notation are comparing it to the libraries listed below

• ccz181078 / Coq-BB5
  ☆187Updated 3 weeks ago
• adri326 / 5dchess-tools
  Toolset for 5D Chess computer-aided analysis written in Rust
  ☆15Updated 3 years ago
• sammyuri / minecraft
  Minecraft
  ☆220Updated 2 years ago
• VampireFlower / CelesteTAS
  TAS files for the game Celeste
  ☆66Updated 2 weeks ago
• Naruyoko / ExpantaNum.js
  A JavaScript library that handles arithmetic for numbers as large as {10,9e15,1,2}.
  ☆33Updated 2 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆50Updated 3 months ago
• SmylerMC / litemapy
  Litemapy's goal is to provide an easy to use way to read and edit Litematica's schematic file format
  ☆58Updated 4 months ago
• IvarK / AntimatterDimensionsSourceCode
  ☆186Updated 4 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆149Updated 2 weeks ago
• blockfish / blockfish
  An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…
  ☆37Updated last year
• EvaisaDev / evaisa.mp
  A multiplayer gamemode framework for Noita using SteamAPI
  ☆54Updated 3 weeks ago
• eleanormally / hanziyu
  Sources and Code for Hanziyu Conlang
  ☆42Updated last year
• Conga0 / Apotheosis
  Continuation of More Creeps project, goal is to massively expand world map with new content.
  ☆13Updated this week
• ZhiqiuCao / Googology
  This is the latest version of textbook《大数理论》(Googology).
  ☆41Updated last month
• carlini / regex-chess
  A 2-ply mini-max search chess engine in 84,688 regular expressions.
  ☆114Updated last month
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆107Updated 2 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆47Updated 7 months ago
• silverhawke249 / nonlinearity
  Another custom level pack for Baba Is You.
  ☆23Updated 3 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆74Updated this week
• Ataraxia-Mechanica / InfiniSweeper
  ☆30Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆165Updated 2 months ago
• paperclover / elemental4
  ☆21Updated 3 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆138Updated this week
• MaxRobinsonTheGreat / LifeEngine
  The Life Engine
  ☆483Updated 5 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆134Updated this week
• jaredkrinke / sic1
  Single-instruction (subleq) programming game
  ☆96Updated 11 months ago
• GHXX / FiveDChessDataInterface
  An unofficial library for creating external mods/tools for 5D chess with multiverse time travel.
  ☆21Updated last year
• HackerPoet / Engine4D
  A Unity toolkit for making 4D games
  ☆190Updated 6 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆237Updated this week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 8 months ago