🚖
Making Autonomous Driving Safer
A computer engineer who tries to make safety-critical systems safer!
-
Parallall
- Munich, Germany
- http://www.mahmoud-khaled.com
Pinned Loading
-
ethminer_fpga
ethminer_fpga PublicForked from ethereum-mining/ethminer
A fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).
-
pFaces-OmegaThreads
pFaces-OmegaThreads PublicOmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal lo…
-
cudd-ready
cudd-ready PublicA static-library version of the famous CUDD (Colorado University Decision Diagram) library.
C
-
parallall/pFaces
parallall/pFaces PublicAn MPI/OpenCL-based Acceleration Ecosystem for HPC and Cloud-computing platforms.
Dockerfile 4
-
scots-ready
scots-ready PublicA 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.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.