Popular repositories Loading

1. BTP_2k18-19 BTP_2k18-19 Public

   Verification of embedded systems (using formal methods)

   Python 1 2

2. eOrg eOrg Public

   Forked from pkgodara/eOrg

   ...Go Paperless, Go Green. Make Office work digital.

   PHP

3. parameter_server parameter_server Public

   Forked from dmlc/parameter_server

   moved to https://github.com/dmlc/ps-lite

   C++

4. DMTK DMTK Public

   Forked from microsoft/DMTK

   Microsoft Distributed Machine Learning Toolkit

5. Hardware-project Hardware-project Public

   An automation system for detecting motion (intruder) in a particular room and if detected, it will notify you and also upload the footage of recorded motion to your dropbox account

   Python

6. jgrapht jgrapht Public

   Forked from jgrapht/jgrapht

   Master repository for the JGraphT project

   Java