Pinned Loading

1. ethminer_fpga ethminer_fpga Public

   Forked from ethereum-mining/ethminer

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

   C++ 43 14

2. pFaces-OmegaThreads pFaces-OmegaThreads Public

   OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal lo…

   C++ 9 2

3. etoro-api etoro-api Public

   A python api for eToro automatically generated via the provided OpenAPI specifications.

   Python 57 27

4. cudd-ready cudd-ready Public

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

   C

5. parallall/pFaces parallall/pFaces Public

   An MPI/OpenCL-based Acceleration Ecosystem for HPC and Cloud-computing platforms.

   Dockerfile 4

6. scots-ready scots-ready Public

   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 5 3