Alternatives and similar repositories for GridGames

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

• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• Anon52MI4 / oeis-alien
  ☆22Updated 3 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆40Updated 3 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 5 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆70Updated this week
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆40Updated 11 years ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 3 weeks ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated last week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆138Updated this week
• 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
  ☆37Updated 3 years ago
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆97Updated last week
• seveno4 / EURISKO
  ☆61Updated last year
• alcides / aeon
  Aeon programming language
  ☆25Updated last week
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated last week