txt / mase
Teaching materials for Model-based Automated Software Engineering
☆12Updated 8 years ago
Related projects: ⓘ
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 8 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- The semantics of Java in K☆18Updated 3 years ago
- A simple Unix-friendly toolkit for plagiarism detection.☆18Updated 4 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆15Updated 3 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 4 months ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated 4 months ago
- ☆19Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 8 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Programmatic Control Flow☆13Updated 7 years ago
- The Stratego program transformation language☆30Updated last month
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- Some algorithms and data structures☆17Updated 4 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 6 years ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Updated 3 years ago
- The Cubicle model checker☆14Updated 6 months ago
- K3: A Declarative Data Systems Programming Framework☆15Updated 8 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- Incremental Learning Event Definitions☆13Updated 9 years ago