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 this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• Thunno / Thunno2
  A concise golfing language
  ☆21Updated 3 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• hakatashi / esolang-box
  Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
  ☆75Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 3 weeks ago
• nbuilding / N-lang
  A strongly-typed programming language by the N building with a general-purpose use
  ☆27Updated last year
• uniconproject / unicon
  ☆63Updated this week
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated this week
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆20Updated 5 months ago
• darrenks / nibbles
  A codegolf language for mortals
  ☆34Updated 5 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆34Updated this week
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆64Updated 2 months ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated last year
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆136Updated 3 years ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆29Updated 3 weeks ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last week
• MarcelGarus / plum
  A small, functional, cozy programming language.
  ☆20Updated this week
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆81Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆12Updated this week
• ascherer / cweb
  Literate Programming in C/C++
  ☆93Updated last month
• chetanbhat / quantum-wordle
  Quantum Wordle
  ☆14Updated 7 months ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• soxfox42 / tak
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆13Updated 4 months ago