-
Stars50
-
Rank 575,652 (Top 12 %)
-
LanguagePython
-
Created over 4 years ago
-
Updated over 3 years ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A python api for eToro automatically generated via the provided OpenAPI specifications.
More Repositories
1
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.Python
39
2
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.Python
9
3
pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.C++
8
4
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.C++
3
5
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.C
3
6
pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.C++
3
7
BDD2Implement
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.C++
1
8
pFaces-iXplore
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.MATLAB
1
9
CSCI5854_lab
Lab materials for class CSCI 5854 (Foundations of Autonomous Systems), University of Colorado Boulder, USA.C
1
10
deepracer_av
A ROS-package to autonomously drive the AWS DeepRacer [under development].Python
1
11
ARCH20-FAUST
A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.MATLAB
1