jacma01

jacma01's Stars

• jacma01/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

  1

• Consensys/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  Language:Python3.9k738

• MicrosoftDocs/azure-docs

  Open source documentation of Microsoft Azure

  Language:Markdown10.2k21.4k

• jacma01/code-server

  VS Code in the browser

  1

• coder/code-server

  VS Code in the browser

  Language:TypeScript67.9k5.6k

• jacma01/DeepSpeed

  DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

  1

• microsoft/DeepSpeed

  DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

  Language:Python35k4.1k

• jacma01/UTM

  Virtual machines for iOS and macOS

  1

• utmapp/UTM

  Virtual machines for iOS and macOS

  Language:Swift26.5k1.3k

• ProvableHQ/sdk

  A Software Development Kit (SDK) for Zero-Knowledge Transactions

  Language:JavaScript587470

• argumentcomputer/neptune

  Rust Poseidon implementation (contact: @porcuquine)

  Language:Rust27498

• jacma01/plonk

  A pure Rust PLONK implementation using arkworks as a backend.

  1

• ZK-Garage/plonk

  A pure Rust PLONK implementation using arkworks as a backend.

  Language:Rust28975

• AleoNet/snarkOS

  A Decentralized Operating System for ZK Applications

  Language:Rust4.3k2.6k

• ProvableHQ/welcome

  👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

  319216