Pinned Loading

1. ConditionalHistory ConditionalHistory Public

   Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'

   Python 7

2. CounterexampleClassificiation CounterexampleClassificiation Public

   Prototype tool for classifying counterexamples in a formal model.

   Java 3

3. AttackerSynthesis AttackerSynthesis Public template

   Forked from maxvonhippel/AttackerSynthesis

   Tool, Models, and Supplementary Materials for Attacker Synthesis Project

   Python 1

4. web-of-scholars web-of-scholars Public

   A, hopefully huge, web of PhD advisors and students

   TypeScript 1

5. youtube-recommendations youtube-recommendations Public

   Tracking recommended videos on YouTube

   JavaScript 1

6. striking striking Public

   An economic model of workers on strike.

   HTML 1