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
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Inference engine for extensional untyped λ-calculus☆4Updated this week
- Scalar and vector adjoint algorithmic differentiation (AAD)☆29Updated 8 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 4 months ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- GNAT Components Collection – Database packages☆13Updated 5 months ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆11Updated 6 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated last month
- K3: A Declarative Data Systems Programming Framework☆15Updated 9 years ago
- The Stratego program transformation language☆32Updated 3 months ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- Software Language Processing Suite☆47Updated 3 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Runtime and miner for the LODA language written in C++☆26Updated this week
- Python Library for Lazy Interfaces☆34Updated 6 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last month
- Original Joy☆10Updated 7 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago