mkhaled87

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.

ethminer_fpga

A fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).

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.

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.

pFaces-PIRK

A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.

pFaces-AMYTISS

A tool for parallel automated controller synthesis for large-scale stochastic systems.

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.

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.

clypse_fpga

A fork of the ApoCLypse Bitcoin Miner with support for OpenCL-ready FPGA accelerators.

ARCH20-FAUST

A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.

autonomous_car_verification

BDD2Implement

A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.

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].

pFaces-iXplore

iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.

cudd-ready

A static-library version of the famous CUDD (Colorado University Decision Diagram) library.

Borri_NCS

mplementation of NCS abstraction construction as presented in: A. Borri, G. Pola, M. Benedetto, "A Symbolic Approach to the Design of Nonlinear Networked Control Systems" :: https://arxiv.org/abs/1203.1069

deepracer-model

An ODE model of the DeepRacer

DynObjLoader

A cross-platform static-link library for dynamic loading of pre-built C++ objects. You can use this to develop loadable plugins into your project. The plugins should be built for the same OS and then loaded using this library.

hyconsys-talk-latex

A Latex template for presentations customized for the HyConSys lab.

pegasus_spyware

decompiled pegasus_spyware

SymDetect

Implementation of non-deterministic finite automata (NFA)-based detectors for finite labelled transition systems (FLTS) as appeared in a paper

SymReach