Search Results for "process control simulator"

...The software is released in a transparent process that allows for independent verification of binaries and their corresponding source code.

Neon Wallet is a self-custodial wallet for managing digital assets on desktop and mobile, supporting Neo, Ethereum, and EVM networks, with full user control. Available as a desktop wallet on Windows, Mac OS X, and Linux, the NEON wallet allows users to claim GAS on the NEO network.

unMinable is a command-line based cryptocurrency mining tool designed for efficient and user-friendly Bitcoin mining. It provides real-time hardware detection, mining process control, balance management, and automated withdrawal functionality. The software is designed to interact with Firebase to fetch and store user balances, withdrawals, and user-related data securely. The terminal allows users to start and monitor their mining progress, view their balances, and withdraw their mined funds when they reach the minimum threshold of 0.001 BTC. ...

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation or...

...Lock-free and contention-free order matching and risk control algorithms. Matching engine and risk control operations are atomic and deterministic.