Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by tudo-aqua
A curated list of projects in awesome lists by tudo-aqua .
https://github.com/tudo-aqua/z3-turnkey
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/stars
STARS - Scenario-Based Testing of Autonomous Robotic Systems
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/jconstraints
A constraint solver abstraction layer for Java
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/cvc4-turnkey
Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/stars-carla-experiments
This repository analyzes driving data recorded with the Carla Simulator using the STARS framework.
autonomous-driving autonomous-vehicles carla-simulator classification stars
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/mps-diagram-svg-export
This plugins allows MPS users to export/save de.itemis.mps.editor.diagrams into SVG files.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/dse
DSE: a generic dynamic symbolic execution engine
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/stars-auna-experiments
This repository analyzes driving data recorded with model race cars in a platooning scenario using the STARS framework.
auna autonomous-robots autonomous-vehicles classification formal-verification platooning stars
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/temporal-logic-latex-package
Latex package for temporal logic operators
Last synced: 09 Dec 2024
https://github.com/tudo-aqua/stars-owa-coverage
This repository evaluates the effects of uncertainties on scenario coverage.
Last synced: 18 Dec 2024
https://github.com/tudo-aqua/turnkey-gradle-plugin
A helper plugin for transforming existing libraries into TurnKey bundles.
Last synced: 07 Dec 2024
https://github.com/tudo-aqua/stars-export-carla
A batch generator of driving scenarios from the CARLA simulator
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/upsert-release
Github only allows releases for tagged versions. For having nightly builds published to a nightly release, we need an action that creates or updates an existing release and updates the nightly tag to the master head commit.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/study-planner
Example project for the programming lab: StudyPlanner
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/koral
A Kotlin library for working with register automata.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/cvc4-azure-build
Azure Pipelines-based build infrastructure for CVC4
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/very-insecure-web-app
An intentionally insecure forum application
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/turnkey-support
A support library for loading and writing TurnKey bundles.
Last synced: 20 Nov 2024
https://github.com/tudo-aqua/gdart
GDart: Dynamic Symbolic Execution for the JVM
Last synced: 20 Nov 2024