Pinned Repositories
433Utils
433Kit is a collection of code and documentation designed to assist you in the connection and usage of RF 433MHz transmit and receive modules to/with your Arduino and Rapberry Pi.
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AI_Curriculum
Open Deep Learning and Reinforcement Learning lectures from top Universities like Stanford, MIT, UC Berkeley.
AnalyzeTheChat
Python based whatsapp chat analyzer
arduino-ninja-blocks
Arduino library for connecting to the Ninja API.
assistant-sdk-python
Samples and bindings for the Google Assistant API
eecs149_spin
Fall 2014 EECS 149/249 spin tutorial model
Practical-Deep-Learning-for-Coders-2.0
Notebooks for the "A walk with fastai2" Study Group and Lecture Series
pyco
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 other contracts from a library, and connect them together such that their composition is a refinement of the specification.
pycolite
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, and check for refinement, consistency, and compatibility.
ianno's Repositories
ianno/eecs149_spin
Fall 2014 EECS 149/249 spin tutorial model
ianno/pyco
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 other contracts from a library, and connect them together such that their composition is a refinement of the specification.
ianno/Practical-Deep-Learning-for-Coders-2.0
Notebooks for the "A walk with fastai2" Study Group and Lecture Series
ianno/pycolite
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, and check for refinement, consistency, and compatibility.
ianno/433Utils
433Kit is a collection of code and documentation designed to assist you in the connection and usage of RF 433MHz transmit and receive modules to/with your Arduino and Rapberry Pi.
ianno/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
ianno/AI_Curriculum
Open Deep Learning and Reinforcement Learning lectures from top Universities like Stanford, MIT, UC Berkeley.
ianno/AnalyzeTheChat
Python based whatsapp chat analyzer
ianno/assistant-sdk-python
Samples and bindings for the Google Assistant API
ianno/breach
ianno/cc2538-bsl
Python cross-platform script to upload firmware via the serial boot loader onto the CC13xx, CC2538 and CC26xx SoC.
ianno/connectiq-apps
A collection of Connect IQ apps.
ianno/contiki-zolertia
The official git repository for Contiki, the open source OS for the Internet of Things
ianno/cs195
Website and public materials for UC Berkeley CS 195
ianno/DeepLearning.ai-Summary
This repository contains my personal notes and summaries on DeepLearning.ai specialization courses. I've enjoyed every little bit of the course hope you enjoy my notes too.
ianno/eecs149_notifier
A python program monitors your gmail and posts if there are unread messages with the [EECS149/249] subject
ianno/freeboard
A damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.
ianno/ifttt-webhook
A webhook middleware for the ifttt.com service
ianno/jasper-client
Client code for Jasper voice computing platform
ianno/lastpass-attachment-exporter
Exports all Attachments from lastpass
ianno/LTLMoP
A toolkit for designing and implementing LTL-based task specifications
ianno/ninja-presence-ping
This is a ping presence driver for your own Ninja Block (ninjablocks.com)
ianno/opal
ianno/openthread
OpenThread released by Nest is an open-source implementation of the Thread networking protocol
ianno/python-machine-learning-book-3rd-edition
The "Python Machine Learning (3rd edition)" book code repository
ianno/Resources
Available documentation and binaries
ianno/reveal.js
The HTML Presentation Framework
ianno/science_review
ianno/shellconf
My set of shell config files
ianno/tuya-convert
A collection of scripts to flash Tuya IoT devices to alternative firmwares