txt / maseLinks
Teaching materials for Model-based Automated Software Engineering
☆13Updated 10 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
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 8 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated 8 months ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- A general purpose relational language☆19Updated 5 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated 4 months ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 3 years ago
- The semantics of Java in K☆19Updated 4 years ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆33Updated 6 years ago
- Python Library for Lazy Interfaces☆35Updated 7 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Database smell detector☆13Updated 8 years ago
- ☆11Updated 2 years ago
- ☆30Updated 8 years ago
- Simple blockchain in Ada☆21Updated 4 months ago
- Software Language Processing Suite☆47Updated 4 years ago
- GNAT Components Collection – Database packages☆15Updated 2 months ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- An exercise in programming language design and implementation.☆19Updated 4 years ago
- A faster Java heap analysis tool☆21Updated 8 years ago
- ☆19Updated 8 years ago
- A MiniKanren in Python☆36Updated 9 years ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Updated 7 years ago
- Terminal CLI to Mathics3☆60Updated last month
- ☆34Updated 5 years ago
- ☆59Updated 9 years ago