There are no reviews yet. Be the first to send feedback to the community and the maintainers!
etoro-api
A python api for eToro automatically generated via the provided OpenAPI specifications.DormantBitcoinHunter
A Python script to generate random bitcoin private keys, extract their bitcoin addresses and compare against a list of addresses which have large amount of bitcoins (i.e., the Dormant List). It is a hunt for treasure ! If it finds a match, it will send an email.jemdoc-ready
A ready-to-use Jemdoc-based website for research groups and similar organizations. It also contains a dynamic news/RSS-feed system which requires ASP.Net.SENSE
SENSE (Symbolic controlEr Networked SystEms) is a C++ toolbox for constructing symbolic abstractions as well as synthesizing symbolic controllers for networked control systems. The tool has MATLAB and OMNet++ interfaces for closed loop simulation.scots-ready
A version of SCOTS with the CUDD library included and configured as a static-link library. Simply go to the root directory and run 'make' to build the CUDD library.pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.BDD2Implement
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.pFaces-iXplore
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.CSCI5854_lab
Lab materials for class CSCI 5854 (Foundations of Autonomous Systems), University of Colorado Boulder, USA.deepracer_av
A ROS-package to autonomously drive the AWS DeepRacer [under development].ARCH20-FAUST
A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.Love Open Source and this site? Check out how you can help us