szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆17Updated 2 years ago
Alternatives and similar repositories for GridGames
Users that are interested in GridGames are comparing it to the libraries listed below
Sorting:
- Online, interactive edition of the "Simply Logical" Prolog textbook☆154Updated 7 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- Online BDD Simulation Tool☆20Updated 2 weeks ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 8 months ago
- Operations with matrices, SWI pack☆13Updated last year
- Source of metamath book☆49Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Tim Button's open textbook on set theory☆39Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- The rule-based graph programming language GP 2☆68Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- metamath proof enumerators and other things☆94Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆82Updated 2 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆52Updated last year
- ☆19Updated 2 years ago
- 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
- ☆149Updated this week
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- A lazy-grounding Answer-Set Programming system☆61Updated 5 months ago
- Reflexive & Persistent System (artificial intelligence)☆90Updated this week
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- ☆56Updated 2 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆11Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 6 months ago