☆26May 12, 2026Updated 2 months ago
Alternatives and similar repositories for plexil
Users that are interested in plexil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆20Apr 10, 2026Updated 3 months ago
- Statecharts☆17May 28, 2026Updated last month
- Bayesian Ontology Reasoner☆18Apr 24, 2026Updated 2 months ago
- ☆230Feb 10, 2023Updated 3 years ago
- adb and fastboot☆13May 3, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- NanoSat MO Framework - NMF Mission: OPS-SAT☆24Feb 27, 2024Updated 2 years ago
- ☆12Jul 7, 2026Updated 2 weeks ago
- Statechart library for diagrams.net (draw.io)☆24Jan 28, 2022Updated 4 years ago
- xstate-to-gherkin is a library and cli tool to generate Gherkin test scripts from an xstate statechart.☆26Sep 29, 2022Updated 3 years ago
- GUI application for utilising the SailfishOS:Chum community repository☆18Feb 2, 2026Updated 5 months ago
- Profile repository of Pietro Monticone.☆15Updated this week
- This is a compiled set of instructions and tools wrapped in Docker image to fetch, deodex, patch and upload back AlienDalvik files on Sa…☆14Jun 11, 2019Updated 7 years ago
- Config files for setting up Multitenant Kubeflow on AWS with spot instances☆10Sep 15, 2020Updated 5 years ago
- Motion Planning Hyperparameter Optimization☆13Nov 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pixel-perfect font rendering under Wayland and X.org☆21Jun 10, 2026Updated last month
- WebCat is a Webkit based webbrowser for sailfish os☆19May 13, 2021Updated 5 years ago
- GitHub Action for bilding Sailfish OS apps☆18Mar 22, 2025Updated last year
- TAO Translator (formerly, The Advanced Online Translator)☆21Nov 5, 2019Updated 6 years ago
- ☆10May 10, 2016Updated 10 years ago
- Example of using VLFeat's SLIC implementation from C++.☆10Aug 21, 2016Updated 9 years ago
- A small-but-powerful typesafe state machine, designed to handle large state graphs☆13Dec 6, 2022Updated 3 years ago
- SailfishOS (Jolla) System Monitor App☆21Apr 11, 2025Updated last year
- A reducer enhancer for using an xstate chart with redux☆13Mar 5, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for our paper: Hierarchical RL Using an Ensemble of Proprioceptive Periodic Policies☆15Feb 21, 2019Updated 7 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- ☆13Sep 13, 2021Updated 4 years ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated last year
- transportable IDE for SailfishOS devices☆18Jun 17, 2017Updated 9 years ago
- Functional rich editor for Sailfish OS.☆17Aug 14, 2021Updated 4 years ago
- Source code of IPA, https://escholarship.org/uc/item/2p0805dq☆12Jun 27, 2024Updated 2 years ago
- Converts SPARQL JSON results to a tree-based structure☆19Updated this week
- Bluetooth 4.0 Location & Navigation Service stream to CoreLocation iOS framework☆15Jul 27, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆33Oct 22, 2020Updated 5 years ago
- Fixes a React race condition when using controlled inputs combined with server-side rendering☆10Nov 14, 2017Updated 8 years ago
- open-source email platform purpose-built for sending investor updates☆12Jul 12, 2024Updated 2 years ago
- ☆24Oct 13, 2020Updated 5 years ago
- remark plugin for state machine cat☆12Mar 15, 2024Updated 2 years ago
- Toolbox for automated planning and combinatorial solving.☆62Updated this week
- This is the course project for CSCE585: ML Systems. Students will build their machine learning systems based on the provided infrastructu…☆12Dec 15, 2020Updated 5 years ago