imperialqore

REST API for SageMath, the LINE symbolic backend. Upstream: github.com/sagemath/sage

REST API for LDES (LINE Discrete Event Simulator). Source: github.com/imperial-qore/ldes

REST API for the ORIS Tool Sirio library. Upstream: github.com/oris-tool/sirio

REST API for PIPE, Platform Independent Petri net Editor. Upstream: pipe2.sourceforge.net

REST API for GreatSPN (Univ. di Torino). Upstream: github.com/greatspn/SOURCES

REST API for the PRISM model checker. Upstream: github.com/prismmodelchecker/prism

AIoTBench: AI inference benchmark for mobile/embedded. Source: github.com/BenchCouncil/AIoTBench

DaCapo: real-world Java benchmark suite. Source: github.com/dacapobench/dacapobench

PocketSphinx: lightweight speech recognition. Source: github.com/cmusphinx/pocketsphinx

YOLO real-time object detection (Ultralytics). Source: github.com/ultralytics/ultralytics

aeneas: forced alignment of text and audio. Source: github.com/readbeyond/aeneas