Pinned Loading

1. kind2 kind2 Public

   Forked from kind2-mc/kind2

   Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

   OCaml

2. lorchrob.github.io lorchrob.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

3. VERDICT VERDICT Public

   Forked from ge-high-assurance/VERDICT

   DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

   Java

4. Goblin Goblin Public

   OCaml 1