Alternatives and similar repositories for GamesmanClassic:

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

• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆34Updated last week
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆13Updated 11 months ago
• danvk / Stanford-CS-242-Programming-Languages
  Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
  ☆18Updated 9 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated last month
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆52Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• 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
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated this week
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆20Updated this week
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆14Updated this week
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆25Updated 2 weeks ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated last month
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated 3 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆85Updated 2 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• meelgroup / unigen
  UniGen approximately uniform sampler
  ☆27Updated 3 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆24Updated 2 years ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated 2 months ago
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆25Updated 3 weeks ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated last month
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated last year