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.☆12Updated 9 months ago
- Workflow management system fully supporting low-code language Petriflow.☆22Updated this week
- SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)☆27Updated this week
- Next-generation end-to-end low code language based on Petri nets.☆16Updated 4 months ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- SIMD Intrinsics in the JVM☆48Updated 6 years ago
- My academic website☆10Updated this week
- A rule-based stream reasoning engine utilizing sliding windows☆10Updated 2 years ago
- A tiny thin client for multiplayer games☆18Updated 10 years ago
- ☆15Updated 2 years ago
- Sireum v3☆10Updated last year
- A scala library for IBM ILOG CPLEX☆19Updated 5 years ago
- Java wrapper and Jdbc driver for SQLite using JNA or Bridj or JNR or JNI or JavaCPP.☆25Updated this week
- Aquaplanning QUick Automated Planning.☆13Updated 4 years 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
- An extension to Llama2.java implementation accelerated with GPUs, using TornadoVM☆21Updated 5 months ago
- Runnable flowcharts for the web☆48Updated 2 weeks ago
- typed tagless final interpreters☆13Updated 7 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 6 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆25Updated 6 months ago
- LiveView server implementation for the JVM☆61Updated last year
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 2 months ago
- Purely functional data structures in Java☆39Updated 3 years ago
- ☆22Updated 10 years ago
- Purely functional genetic algorithms for multi-objective optimisation☆72Updated last month
- Transparent acceleration for Java NIO applications via UCX☆20Updated this week
- Resumable exceptions and delimited continuations for JVM☆40Updated last month
- Playing OpenAI games with Neuroevolution☆11Updated 5 years ago