txt / maseLinks
Teaching materials for Model-based Automated Software Engineering
☆13Updated 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 updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- Omgrofl interpreter☆16Updated 4 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 3 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 3 months ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- Some algorithms and data structures☆17Updated 4 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 months ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆15Updated 3 weeks ago
- Operations with matrices, SWI pack☆13Updated last year
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- Software Language Processing Suite☆47Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Examples from my book "Scripting Intelligence: Web 3.0 Information Gathering and Processing"☆44Updated 5 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- General purpose implementation of advanced algorithms☆48Updated 8 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆19Updated 8 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A set of visualization engines.☆14Updated this week
- A general purpose relational language☆19Updated 5 years ago