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
  ☆161Updated 8 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆39Updated 11 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 6 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated 5 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆133Updated last month
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated 2 weeks ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• eprover / eprover
  ☆152Updated this week
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆28Updated 2 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last month
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated this week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated this week
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 3 years ago
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆27Updated last month
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• stokito / fortress-lang
  ☆57Updated 8 years 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
• scc416 / Visual2
  ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
  ☆28Updated 2 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆25Updated 4 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆291Updated this week