Popular repositories

1. eecs149_spin eecs149_spin Public

   Fall 2014 EECS 149/249 spin tutorial model

   4 4

2. pyco pyco Public

   This library provides tools to perform synthesis of Linear Temporal Logic (LTL)-based Assume/Guarantee (A/G)contracts. Given a contract describing the system specification, PyCo is able to choose o…

   Python 3

3. pycolite pycolite Public

   This library provides a simple set of primitives to manipulate Linear Temporal Logic (LTL)-based Assume/Guarantee (A/G)contracts. It allows the definition of new contracts, compute compositions, an…

   Python 1

4. Practical-Deep-Learning-for-Coders-2.0 Practical-Deep-Learning-for-Coders-2.0 Public

   Forked from muellerzr/Practical-Deep-Learning-for-Coders-2.0

   Notebooks for the "A walk with fastai2" Study Group and Lecture Series

   Jupyter Notebook 1

5. LTLMoP LTLMoP Public

   Forked from VerifiableRobotics/LTLMoP

   A toolkit for designing and implementing LTL-based task specifications

   Python

6. reveal.js reveal.js Public

   Forked from hakimel/reveal.js

   The HTML Presentation Framework

   JavaScript