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
  ☆26Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆39Updated 8 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated last month
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• darrenks / nibbles
  A codegolf language for mortals
  ☆34Updated 3 weeks ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆301Updated this week
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆15Updated 3 years ago
• rowett / lifeviewer
  Scriptable pattern editor and viewer for many families of cellular automata
  ☆33Updated last month
• MarcelGarus / orchard
  A playground for programming language ideas.
  ☆20Updated 3 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆39Updated last week
• epfl-systemf / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆19Updated 3 weeks ago
• shorterlife / challenge
  Can you write a shorter Javascript version of Conway's game of life?
  ☆16Updated 5 years ago
• soxfox42 / tak
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆14Updated 2 months ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆68Updated last month
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆22Updated 3 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆95Updated 4 years 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 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated 2 months ago
• alexjercan / stack-lang-c
  Stack Lang - stack based programming language
  ☆11Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆39Updated 9 months ago
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆82Updated last month