szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆18Updated 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 BDD Simulation Tool☆21Updated 2 months ago
- Here we give programs that check if Turing machines halt or not.☆14Updated last month
- ☆20Updated 2 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆79Updated 9 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- 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
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- A tool for deductive verification of Python programs based on Dafny☆23Updated 4 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Source of metamath book☆51Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last week
- Java implementations of sequences in the OEIS☆66Updated this week
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆164Updated 9 months ago
- metamath proof enumerators and other things☆94Updated last year
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 3 weeks ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆56Updated this week
- ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable☆29Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated this week
- Open textbook on modal logic☆23Updated 3 months ago
- CN separation logic refinement type system for C☆34Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆161Updated 2 weeks ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 7 months ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆18Updated last week
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago