txt / maseLinks
Teaching materials for Model-based Automated Software Engineering
☆14Updated 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
- CHR2 to SQL conversion☆14Updated 10 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
- A general purpose relational language☆19Updated 5 years ago
- Prolog Implementation in Python☆12Updated 7 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 set of visualization engines.☆14Updated this week
- Implementation of different variants of Parseval metric☆14Updated 10 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- ☆34Updated 4 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated 3 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated last week
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last week
- The Stratego program transformation language☆32Updated 4 months ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Updated 6 years ago
- Domain independent implementation of Monte Carlo Tree Search methods.☆17Updated 7 years ago
- Original Joy☆10Updated 8 months ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated last week
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- The Cubicle model checker☆14Updated last year