szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆20Updated 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☆168Updated 11 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆85Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 3 weeks ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- ☆57Updated 8 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 2 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 3 years ago
- An archive of material related to the Cyc project.☆30Updated 2 weeks ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆131Updated 4 years ago
- Source of metamath book☆51Updated last year
- ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable☆30Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 3 months ago
- ☆60Updated 2 weeks ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- Online BDD Simulation Tool☆23Updated 4 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆55Updated last year
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆66Updated last month
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 4 months ago
- Reflexive & Persistent System (artificial intelligence)☆96Updated this week
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆56Updated 3 months ago
- The semantics of Java in K☆19Updated 4 years ago
- An attribute grammar-based programming language for composable language extensions☆67Updated last week