fujaba / SDMLib
☆16Updated 4 years ago
Alternatives and similar repositories for SDMLib:
Users that are interested in SDMLib are comparing it to the libraries listed below
- Fulib is a library that provides code generation for UML like models and some model management functionalities.☆13Updated 11 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last week
- Get 99.13% test accuracy MNIST with only 300 lines of code CNN by JAVA☆11Updated 6 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 4 months ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Updated 2 years ago
- Workflow management system fully supporting low-code language Petriflow.☆22Updated this week
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- ☆12Updated 3 years ago
- Automated Programming Framework☆14Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated 5 months ago
- Next-generation end-to-end low code language based on Petri nets.☆17Updated last week
- Fast Bytecode Analysis☆15Updated 9 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆15Updated 2 weeks ago
- String matching algorithms for searching a single or multiple strings in large texts☆44Updated 9 months ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆25Updated 8 months ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- An implementation of the Goal Oriented Action Planning (GOAP) AI-system in Java.☆22Updated 4 years ago
- Aquaplanning QUick Automated Planning.☆13Updated 4 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)☆27Updated last week
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Scala staging framework☆16Updated 6 years ago
- Ready-made ScalaFX IDE for custom languages☆13Updated 8 years ago
- Java library for running and visualizing Deep Neural Networks trained in Torch.☆22Updated last week
- Fast Scala and nd4j based machine learning framework☆18Updated 7 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- Static code analysis for Java☆12Updated 11 months ago