fujaba / SDMLib
☆16Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for SDMLib
- Fulib is a library that provides code generation for UML like models and some model management functionalities.☆12Updated 7 months ago
- Workflow management system fully supporting low-code language Petriflow.☆22Updated this week
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated 2 weeks ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Updated 3 years ago
- Synthesizer of LTLf formula☆9Updated last year
- Next-generation end-to-end low code language based on Petri nets.☆16Updated last month
- Automated Programming Framework☆14Updated 4 years ago
- ☆10Updated 8 months ago
- 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
- 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 7 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 6 months ago
- The Next Generation Logic Library☆135Updated this week
- Java library for fast multiple strings matchings. Uses internally Aho-Corasick or Commentz-Walter.☆18Updated 2 years ago
- An implementation of the Goal Oriented Action Planning (GOAP) AI-system in Java.☆20Updated 3 years ago
- Yet another Java based Prolog engine☆30Updated 2 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Language bindings for Maude☆19Updated 7 months ago
- Continuous REactive SysTems DSL☆18Updated 5 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- Aquaplanning QUick Automated Planning.☆13Updated 4 years ago
- Add Code Mobility to any application☆32Updated 8 years ago
- StaxMate: Automatic Shifting for Streaming XML Processing☆41Updated last year
- SpaceBase demo application: a simulation of tens of thousands of spaceships in battle☆94Updated 8 years ago
- Get 99.13% test accuracy MNIST with only 300 lines of code CNN by JAVA☆11Updated 6 years ago
- visualization and sample code from Java Universal Network Graph ported to use JGraphT models and algorithms☆48Updated last week
- Reactive Database engine for Java with RocksDB and Lucene Core☆14Updated 3 weeks ago
- Dynamic analysis of multithreaded C programs☆12Updated 4 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆19Updated 2 years ago
- Playing OpenAI games with Neuroevolution☆11Updated 5 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated 2 weeks ago