Alternatives and similar repositories for plexil

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

• JPLOpenSource / SCA
  JPL Statechart Autocoder Rev. 2
  ☆42Updated 8 years ago
• pubkey / binary-decision-diagram
  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
  ☆34Updated this week
• plaans / aries
  Toolbox for automated planning and combinatorial solving.
  ☆49Updated last week
• stardog-union / millan
  The Stardog Whisperer: TypeScript/JS parsers for Stardog languages
  ☆16Updated last week
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 3 years ago
• deepstreamIO / deepstream.io-client-cpp
  deepstream.io C++ client library
  ☆19Updated 4 years ago
• simplystated / f-of-xstate
  Tools for operating on xstate state machines as data by Simply Stated
  ☆40Updated 2 years ago
• beenotung / better-sql
  Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL
  ☆26Updated last year
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated 3 months ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• trimerge / trimerge-sync
  Distributed data sync using trimerge
  ☆11Updated last year
• WebAssembly / wasi-sql-embed
  ☆28Updated 6 months ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last week
• baristaGeek / semantica
  Semantic Code Search Using Vectorized Abstract Syntax Trees
  ☆17Updated last year
• rchowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆22Updated 3 years ago
• pgpkg / pgpkg
  pgpkg is a small, fast CLI tool and Go library that enables seamless integration of PostgreSQL functions into native code workflows. It i…
  ☆25Updated last month
• basis-robotics / basis
  The robotics development framework that makes deterministic replay testing possible.
  ☆215Updated last week
• Touffy / JSSCxml
  A JavaScript State Chart interpreter that fully implements the W3C's upcoming SCXML recommendation
  ☆54Updated 7 years ago
• ce-store / ce-store
  ITA Controlled English (CE)
  ☆23Updated 3 years ago
• hbel / ts-actors
  Minimal, Akka-styled actor system for TypeScript
  ☆18Updated 11 months ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆19Updated 6 months ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆14Updated last year
• kevinconway / sqlite-cdc
  A trigger based change-data-capture implementation for SQLite databases.
  ☆25Updated 6 months ago
• ProgrammableMatterProject / VisibleSim
  VisibleSim is a simulator of networked modular robots.
  ☆23Updated 4 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• DLR-RM / RAFCON
  RAFCON (RMC advanced flow control) uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. I…
  ☆195Updated 3 weeks ago
• eftsilio / Incremental_RTEC
  Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…
  ☆13Updated 3 years ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆364Updated last month
• sourcemeta / jsonbinpack
  A binary JSON serialization format based on JSON Schema 2020-12 with a strong focus on space-efficiency
  ☆154Updated 3 weeks ago