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
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• scc416 / Visual2
  ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
  ☆30Updated 3 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated last month
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 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
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆85Updated 2 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆66Updated 8 years ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆33Updated 3 weeks 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
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 5 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆30Updated last month
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆75Updated 7 years ago
• norswap / uranium
  Semantic analysis framework
  ☆15Updated 3 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• goblint / cil
  C Intermediate Language
  ☆156Updated 2 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 2 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆70Updated 3 weeks ago