sdg-mit / arbyLinks
An embedding of Alloy in Ruby
☆19Updated 11 years ago
Alternatives and similar repositories for arby
Users that are interested in arby are comparing it to the libraries listed below
Sorting:
- ☆71Updated 5 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)☆57Updated 6 years ago
- The semantics of Java in K☆19Updated 3 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- A Rubygem for array-based scientific computations using GPGPU☆12Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last week
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆83Updated 10 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"☆19Updated 6 years ago
- formal tools for BPMN☆34Updated 2 months ago
- A synthesis-enabled solver for relational logic☆28Updated 7 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- purple: compiling a reflective language☆33Updated 10 months ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- A new declarative programming language☆23Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- ☆53Updated 2 weeks ago
- program synthesis is possible☆41Updated 5 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- A summary of ideas about transpilation -- work in progress☆23Updated 2 years ago