Alternatives and similar repositories for GamesmanClassic

Users that are interested in GamesmanClassic are comparing it to the libraries listed below

• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• MarcelGarus / orchard
  A playground for programming language ideas.
  ☆20Updated this week
• chetanbhat / quantum-wordle
  Quantum Wordle
  ☆14Updated 8 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 4 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• Thunno / Thunno2
  A concise golfing language
  ☆20Updated last week
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• hakatashi / esolang-box
  Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
  ☆75Updated last year
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 9 months ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆39Updated 6 months ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆65Updated last week
• Lambda-Mountain-Compiler-Backend / lambda-mountain
  Compiler Backend for LSTS (Typed Macro Assembler)
  ☆33Updated this week
• busytex / busytex
  TexLive programs bundled into a single static binary for x86_64-linux / WASM
  ☆53Updated 6 months ago
• catseye / Befunge-93
  MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!
  ☆103Updated 6 years ago
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆18Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• BMouradov / pCubes
  ☆17Updated 2 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆67Updated last month
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆111Updated last month
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆99Updated this week
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated this week
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 2 months ago
• soxfox42 / tak
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆13Updated 5 months ago