szschaler / GridGamesLinks
A DSL for developing grid-based arcade-style games. Because, .... fun!
☆15Updated 2 years ago
Alternatives and similar repositories for GridGames
Users that are interested in GridGames are comparing it to the libraries listed below
Sorting:
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 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 2 years ago
- ☆55Updated 8 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- The A+ programming language from Morgan Stanley☆38Updated 11 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆26Updated 11 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Online BDD Simulation Tool☆18Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 4 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Working through the Book Lisp In Small Pieces☆12Updated 2 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆17Updated 4 years ago
- Code for enumeration from a CFG☆18Updated last year
- Lean 4 Metamath verifier☆18Updated last week
- A Verified Implementation of Dijkstra's Algorithm☆18Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆18Updated 3 weeks ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Programming Language Logos☆18Updated 3 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆71Updated last week
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 3 weeks ago