Pinned Loading

1. hybrid-sectypes hybrid-sectypes Public

   A security typechecker for hybrid systems represented as EFSMs

   Haskell 3

2. dvonn dvonn Public

   A Haskell implementation of the board game Dvonn

   Haskell

3. processor-trace processor-trace Public

   Forked from intel/libipt

   libipt - an Intel(R) Processor Trace decoder library

   C

4. servois servois Public

   Forked from angelhof/servois

   Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

   Python

5. LuanVietNguyen/reaffirm LuanVietNguyen/reaffirm Public

   REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

   C++ 3 1