-
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…
-
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…
-
tuya-convert Public
Forked from ct-Open-Source/tuya-convertA collection of scripts to flash Tuya IoT devices to alternative firmwares
Python MIT License UpdatedDec 7, 2020 -
academicpages.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedNov 18, 2020 -
DeepLearning.ai-Summary Public
Forked from mbadry1/DeepLearning.ai-SummaryThis 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.
Python MIT License UpdatedOct 26, 2020 -
AI_Curriculum Public
Forked from Machine-Learning-Tokyo/AI_CurriculumOpen Deep Learning and Reinforcement Learning lectures from top Universities like Stanford, MIT, UC Berkeley.
UpdatedOct 11, 2020 -
Practical-Deep-Learning-for-Coders-2.0 Public
Forked from muellerzr/Practical-Deep-Learning-for-Coders-2.0Notebooks for the "A walk with fastai2" Study Group and Lecture Series
-
python-machine-learning-book-3rd-edition Public
Forked from rasbt/python-machine-learning-book-3rd-editionThe "Python Machine Learning (3rd edition)" book code repository
Jupyter Notebook MIT License UpdatedOct 2, 2020 -
AnalyzeTheChat Public
Forked from aqeelanwar/AnalyzeTheChatPython based whatsapp chat analyzer
Python MIT License UpdatedSep 1, 2020 -
cc2538-bsl Public
Forked from JelmerT/cc2538-bslPython cross-platform script to upload firmware via the serial boot loader onto the CC13xx, CC2538 and CC26xx SoC.
Python UpdatedMar 5, 2020 -
-
Resources Public
Forked from Zolertia/ResourcesAvailable documentation and binaries
Perl UpdatedJul 29, 2019 -
lastpass-attachment-exporter Public
Forked from mindrunner/lastpass-attachment-exporterExports all Attachments from lastpass
Shell GNU General Public License v3.0 UpdatedMay 20, 2018 -
-
cs195 Public
Forked from Berkeley-CS195/sp23Website and public materials for UC Berkeley CS 195
Python UpdatedJan 23, 2018 -
assistant-sdk-python Public
Forked from googlesamples/assistant-sdk-pythonSamples and bindings for the Google Assistant API
Python Apache License 2.0 UpdatedMay 18, 2017 -
openthread Public
Forked from Zolertia/openthreadOpenThread released by Nest is an open-source implementation of the Thread networking protocol
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 13, 2017 -
contiki-zolertia Public
Forked from alignan/contikiThe official git repository for Contiki, the open source OS for the Internet of Things
C Other UpdatedFeb 5, 2017 -
-
connectiq-apps Public
Forked from garmin/connectiq-appsA collection of Connect IQ apps.
Java Apache License 2.0 UpdatedOct 26, 2016 -
shellconf Public
My set of shell config files
-
eecs149_spin Public
Fall 2014 EECS 149/249 spin tutorial model
-
eecs149_notifier Public
A python program monitors your gmail and posts if there are unread messages with the [EECS149/249] subject
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 14, 2014 -
freeboard Public
Forked from Freeboard/freeboardA damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.
JavaScript MIT License UpdatedSep 29, 2014 -
jasper-client Public
Forked from jasperproject/jasper-clientClient code for Jasper voice computing platform
Python UpdatedAug 15, 2014 -
ifttt-webhook Public
Forked from mapkyca/ifttt-webhookA webhook middleware for the ifttt.com service
PHP UpdatedJun 26, 2014 -
433Utils Public
Forked from ninjablocks/433Utils433Kit 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.
C++ UpdatedJan 19, 2014 -
reveal.js Public
Forked from hakimel/reveal.jsThe HTML Presentation Framework
JavaScript MIT License UpdatedNov 9, 2013 -
LTLMoP Public
Forked from VerifiableRobotics/LTLMoPA toolkit for designing and implementing LTL-based task specifications
Python GNU General Public License v3.0 UpdatedNov 8, 2013 -
ninja-presence-ping Public
Forked from theminor/ninja-presence-pingThis is a ping presence driver for your own Ninja Block (ninjablocks.com)
JavaScript MIT License UpdatedOct 20, 2013
{{ message }}