szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆16Updated 2 years ago
Alternatives and similar repositories for GridGames
Users that are interested in GridGames are comparing it to the libraries listed below
Sorting:
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 4 months ago
- DevOps for Dyalog APL☆16Updated 6 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Source of metamath book☆48Updated last year
- Online BDD Simulation Tool☆19Updated last week
- Online, interactive edition of the "Simply Logical" Prolog textbook☆150Updated 7 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Mystery Languages☆38Updated last year
- Working through the Book Lisp In Small Pieces☆13Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated last week
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A mathematical foundation for Smalltalk-25☆17Updated last week
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Updated 6 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- ☆19Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated last year
- An archive of material related to the Cyc project.☆25Updated 2 weeks ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Symbolica's open-source symbolic execution engine.☆65Updated 10 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 7 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Tutorial for the CHR system☆16Updated 4 years ago