txt / maseLinks
Teaching materials for Model-based Automated Software Engineering
☆13Updated 9 years ago
Alternatives and similar repositories for mase
Users that are interested in mase are comparing it to the libraries listed below
Sorting:
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A C implementation of the Tsetlin Machine☆15Updated last month
- K3: A Declarative Data Systems Programming Framework☆15Updated 9 years ago
- ☆19Updated 8 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- The Stratego program transformation language☆33Updated 6 months ago
- A MiniKanren in Python☆36Updated 9 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- A set of visualization engines.☆14Updated this week
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated last month
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last month
- ☆34Updated 5 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆34Updated 7 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- The Cubicle model checker☆14Updated last month
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated 2 months ago
- ☆57Updated 8 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- ☆11Updated 2 years ago
- Simple blockchain in Ada☆21Updated last month
- Python term rewriting☆30Updated 12 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- GNAT Components Collection – Database packages☆14Updated 3 weeks ago