Pinned Loading

1. cmu-soda/fortis-core cmu-soda/fortis-core Public

   Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.

   Kotlin 1 1

2. cmu-soda/AlloyMax cmu-soda/AlloyMax Public

   Forked from AlloyTools/org.alloytools.alloy

   AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a w…

   Java

3. cmu-soda/ATLAS cmu-soda/ATLAS Public

   ATLAS: A constrained LTL learner based on AlloyMax

   Jupyter Notebook 1

4. cmu-soda/STL-Robustness cmu-soda/STL-Robustness Public

   C++ 1 1

5. Real-Rocket-Panda/fprime-visual Real-Rocket-Panda/fprime-visual Public

   TypeScript 4 1

6. tidb tidb Public

   Forked from pingcap/tidb

   TiDB is a distributed NewSQL database compatible with MySQL protocol

   Go