Alternatives and similar repositories for SDMLib

Users that are interested in SDMLib are comparing it to the libraries listed below

• fujaba / fulib
  Fulib is a library that provides code generation for UML like models and some model management functionalities.
  ☆13Updated last week
• netgrif / application-engine
  Workflow management system fully supporting low-code language Petriflow.
  ☆22Updated this week
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last week
• laas / toaster
  Tracking Of Agent (actions and belief) and Spatio-TEmporal Reasoning
  ☆14Updated 5 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 3 years ago
• avikor / constraint_satisfaction_problems
  A friendly package for solving constraint satisfaction problems using various algorithms
  ☆9Updated 6 years ago
• netgrif / petriflow
  Next-generation end-to-end low code language based on Petri nets.
  ☆17Updated 3 months ago
• MarginallyClever / Donatello
  Editor for Flow Based Programming
  ☆11Updated last week
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 3 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• kristenkwong / hiphop-lang
  HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.
  ☆14Updated 4 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• ClemsonRSRG / RESOLVE
  RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …
  ☆24Updated 3 weeks ago
• JohnEarnest / VectorLand
  A tiny thin client for multiplayer games
  ☆18Updated 11 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• hanzhi713 / Robotic-Arm-Control
  A simulator and controller for the robotic arm with six degrees of freedom, based on geometric methods
  ☆9Updated 5 years ago
• fauzanzaid / Robotic-Arm-Trajectory-Planning-using-Genetic-Algorithm
  This is genetic algorithm based trajectory planner for any n linked planar robotic arm
  ☆10Updated 7 years ago
• mzucker / lsystem_optimization
  Socially isolating through obsessive micro-optimization.
  ☆13Updated 3 years ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• AAIR-lab / jedai
  An educational tool to introduce AI planning concepts using mobile manipulator robots.
  ☆15Updated 11 months ago
• jbschwartz / robotpy
  Robot Kinematics in Python
  ☆9Updated last year
• guillaume-chevalier / AI-Planning-Solver-Shakeys-World-PDDL
  Solving a planning problem (Shakey's World) with the FF and IPP planners, the PDDL language and some Python meta-programming to glue thin…
  ☆16Updated 8 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• yannickBurkhardt / LongTermPlanner
  Computationally fast and time-optimal trajectory planner.
  ☆12Updated last year
• wms / petri-net
  A simple library for modelling and executing Petri Nets
  ☆15Updated 10 years ago