txt / mase
Teaching materials for Model-based Automated Software Engineering
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for mase
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆16Updated 5 months ago
- A general purpose relational language☆20Updated 4 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆14Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Superposition prover☆16Updated last year
- IPython-based debugging and exploring - a collection of auxiliary functions☆15Updated last month
- CHR2 to SQL conversion☆13Updated 9 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 5 years ago
- Database smell detector☆13Updated 6 years ago
- A simple Parser and a Lexical Analyzer using Lex (Flex) and Yacc (Bison)☆9Updated 6 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated this week
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆22Updated this week
- A teaching aid library for formal languages and compiler courses☆11Updated 5 months ago
- Boid flocking model in OpenGL☆11Updated 7 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Updated 5 years ago
- ☆14Updated 11 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- ☆19Updated 7 years ago
- Programmatic Control Flow☆13Updated 7 years ago
- lean-related presentations☆16Updated 9 months ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago