szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆19Updated 2 years ago
Alternatives and similar repositories for GridGames
Users that are interested in GridGames are comparing it to the libraries listed below
Sorting:
- PRolog Equation Solving System☆29Updated 9 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆165Updated 10 months ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last month
- A lazy-grounding Answer-Set Programming system☆62Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated last week
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- An archive of material related to the Cyc project.☆30Updated 4 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 2 months ago
- Experiments with higher-kinded types and object algebras in C#☆38Updated 5 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- ☆60Updated last year
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- metamath proof enumerators and other things☆91Updated last week
- Source of metamath book☆51Updated last year
- ☆31Updated 2 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- Language based on Rewriting Logic☆143Updated 2 weeks ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆162Updated last week
- Reason about Term Rewriting Systems☆18Updated 3 years ago