Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
An add-on to LaTeX Workshop that provides some features that go beyond the bare essentials
-
Simulate Functional Mockup Units (FMUs) in Python
-
Modbat is a model-based API tester for stateful systems.
-
The hackable text editor
-
Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
-
Hybrid Systems definitions in Julia
-
Port of FMUSDK2.0.3 from QTronic (http://www.qtronic.de/doc/fmusdk.zip) to Mac OS X and Linux.
-
Read-only mirror of https://gitlab.gnome.org/GNOME/meld
-
Repeatibility Package for the paper "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" of HSCC 2016
-
A post-processing tool for scanned sheets of paper.