Skip to content
View ianno's full-sized avatar
🏍️
🏍️

Organizations

@icyphy

Block or report ianno

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  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