Alternatives and similar repositories for GamesmanClassic:

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

• BMouradov / pCubes
  ☆15Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆23Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆12Updated last week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆36Updated last year
• vsl-lang / VSL
  ✏️ VSL: Versatile, Safe, Language
  ☆22Updated 5 years ago
• ManimCommunity / manim-plugintemplate
  A template project to both illustrate and serve as an example for plugin creations on top of the manim.
  ☆18Updated 3 years ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆46Updated this week
• wompking / tailorlang
  A string-based esoteric programming language.
  ☆10Updated 3 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated 2 weeks ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• MaxBittker / warms
  ☆18Updated 3 months ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆28Updated 2 years ago
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆8Updated last month
• 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
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 4 months ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆118Updated 3 years ago
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆75Updated 6 months ago
• mzucker / flow_solver
  Fast automated solver for Flow Free in a single C or Python file.
  ☆49Updated 2 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• fcrozatier / champagne
  champagne
  ☆32Updated last year
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆13Updated 9 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated 2 months ago
• dfellis / llvm-hello-world
  LLVM's Hello World Assembly Code
  ☆47Updated 6 years ago
• increpare / orthona
  stupid conlang project
  ☆14Updated 2 years ago
• lezer-parser / cpp
  C++ grammar for the Lezer parser system
  ☆19Updated last year
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆50Updated 10 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated last year