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
Sorting:
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- For hosting ATS3 and developing CodeDepot☆13Updated this week
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- ☆11Updated 6 years ago
- ☆19Updated 8 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated last week
- Omgrofl interpreter☆16Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- The semantics of Java in K☆19Updated 3 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆35Updated 3 years ago
- K3: A Declarative Data Systems Programming Framework☆15Updated 8 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- GNAT Components Collection – Database packages☆12Updated 2 months ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Startle C Library☆18Updated 6 years ago
- Debugger in the Trepan family for x-python☆17Updated 5 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated this week
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆29Updated last week
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 8 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago