txt / mase
Teaching materials for Model-based Automated Software Engineering
☆12Updated 9 years ago
Alternatives and similar repositories for mase:
Users that are interested in mase are comparing it to the libraries listed below
- An introduction to the basic ideas of commutative algebra☆17Updated 4 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated 10 months ago
- ☆11Updated 6 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- K3: A Declarative Data Systems Programming Framework☆15Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Some algorithms and data structures☆17Updated 4 years ago
- ☆19Updated 8 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated 2 years ago
- A general purpose relational language☆20Updated 5 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- Numerical Optimisation Library☆16Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated last week
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- ☆12Updated 8 years ago
- A simple Unix-friendly toolkit for plagiarism detection.☆19Updated 4 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 years ago
- A Python implementation of a Python bytecode runner☆16Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Course materials for a Prolog course☆12Updated 8 years ago
- Example notebooks using BlazingSQL with the RAPIDS AI ecoystem.☆15Updated 4 years ago
- ☆14Updated last year
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Updated 6 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆29Updated 2 months ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 4 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Open-source, Cloud-native Streams☆13Updated 3 years ago