tudo-aqua/bgw

Stars
23
Rank 1,016,462 (Top 21 %)
Language
Kotlin
License
Apache License 2.0
Created over 3 years ago
Updated 3 months ago

tudo-aqua/bgw

tudo-aqua

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

BoardGameWork

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.

stars

STARS - Scenario-Based Testing of Autonomous Robotic Systems

jconstraints

A constraint solver abstraction layer for Java

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.

dse

DSE: a generic dynamic symbolic execution engine

stars-carla-experiments

This repository analyzes driving data recorded with the Carla Simulator using the STARS framework.

mps-diagram-svg-export

This plugins allows MPS users to export/save de.itemis.mps.editor.diagrams into SVG files.

gdart-svcomp

gwit

gdart

GDart: Dynamic Symbolic Execution for the JVM

stars-auna-experiments

This repository analyzes driving data recorded with model race cars in a platooning scenario using the STARS framework.

stars-export-carla

A batch generator of driving scenarios from the CARLA simulator

konstraints

whilestar

The While* Virtual Machine