An Application for Online Petri Net Design and Analysis
☆34Mar 8, 2026Updated 2 weeks ago
Alternatives and similar repositories for apo
Users that are interested in apo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆14Nov 20, 2024Updated last year
- Mirror of Sven Verdoolaege's isl at http://repo.or.cz/w/isl.git (occasionally with changes for islpy)☆10Dec 16, 2025Updated 3 months ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Apr 17, 2024Updated last year
- Prosimos Simulation Engine (CLI)☆11Dec 1, 2025Updated 3 months ago
- A local-first library for collaborating on mapping projects☆21Updated this week
- A template for NIH style grants in Latex☆12Jan 16, 2017Updated 9 years ago
- ☆14Sep 25, 2024Updated last year
- Example code and data samples for "An experimentally validated approach to automated biological evidence generation in drug discovery usi…☆12Jan 25, 2024Updated 2 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 6 months ago
- Clojure library for Blueprints (part of the Tinkerpop graph stack).☆38Sep 6, 2022Updated 3 years ago
- Toolkit for constructing, analyzing, and visualizing data-driven ontologies☆17Feb 10, 2023Updated 3 years ago
- [DEPRECATED] Matilda.js v0.0.2 -- Webscale Inference Toolkit☆24Nov 29, 2017Updated 8 years ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- ☆10Nov 21, 2017Updated 8 years ago
- Ubiquity WebExtension☆16Jul 23, 2022Updated 3 years ago
- Redis based Finite State Machine☆10Mar 3, 2015Updated 11 years ago
- Rough and dirty web Mud game - using SockJS and Django☆21Nov 3, 2011Updated 14 years ago
- Java implementation of the Process Mining Alpha algorithm for Workflow Network discovery☆18Mar 28, 2016Updated 9 years ago
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- Import a classic HyperCard stack and export HTML or JSON☆14Jan 1, 2023Updated 3 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Mar 12, 2026Updated last week
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Mar 1, 2026Updated 3 weeks ago
- Tic-tac-toe using react & xstate☆12Dec 25, 2021Updated 4 years ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago
- R htmlwidget for circle packing visualization☆25Sep 20, 2015Updated 10 years ago
- Mount python — it's fun, not a typo, and next to pointless!☆50Jun 30, 2014Updated 11 years ago
- Crawled Wikipedia Tables with Passages☆13Aug 19, 2021Updated 4 years ago
- Java implementation of Thompson Construction Algorithm for converting regular expressions into non-deterministic finite automata (NFAs)☆18Oct 10, 2016Updated 9 years ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Clipboard synchronization tool☆13Updated this week
- Dataset for the ACL 2015 paper : Learning to Explain Entity Relationships in Knowledge Graphs☆11Oct 22, 2015Updated 10 years ago
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago
- Tool to cleanse and semantify datasets from CKAN repositories. Based on OpenRefine.☆24Feb 5, 2016Updated 10 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- Blueprints implementation on top of MongoDB☆42Jul 25, 2013Updated 12 years ago
- MS Marco Entity Annotations Disambiguation☆13May 19, 2023Updated 2 years ago
- ☆11Aug 16, 2021Updated 4 years ago
- Package your Brython/Python package as brython_modules.js☆17Feb 17, 2022Updated 4 years ago