gr8den's Stars
spalladino/zkp-tests
Playing with zero-knowledge proof languages
iden3/circom
zkSnark circuit compiler
python-poetry/poetry
Python packaging and dependency management made easy
openai/point-e
Point cloud diffusion for 3D model synthesis
metaplex-foundation/metaplex-program-library
Smart contracts maintained by the Metaplex team
junegunn/fzf
:cherry_blossom: A command-line fuzzy finder
muhos/ParaFROST
A Parallel SAT Solver with GPU Accelerated Inprocessing
tornadocash/tornado-core
Tornado cash. Non-custodial private transactions on Ethereum.
PyO3/pyo3
Rust bindings for the Python interpreter
opa334/TrollStore
Jailed iOS app that can install IPAs permanently with arbitary entitlements and root helpers because it trolls Apple
Consensys/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
trailofbits/manticore
Symbolic execution tool
lz4/lz4
Extremely Fast Compression algorithm
cabaletta/baritone
google maps for block game
videolan/vlc
VLC media player - All pull requests are ignored, please use MRs on https://code.videolan.org/videolan/vlc
whitenois3/huff-snark-verifier
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
bitcoinbook/bitcoinbook
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
bitcoin/bitcoin
Bitcoin Core integration/staging tree
streetsidesoftware/vscode-spell-checker
A simple source code spell checker for code
prisma/prisma
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
vercel/next.js
The React Framework
nulltea/zk-SQL
ZK-based engine for self-sovereign SQL queries
nuxt/nuxt
The Intuitive Vue Framework.
ExistentialAudio/BlackHole
BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.
commaai/calib_challenge
The comma.ai Calibration Challenge!
facebook/react
The library for web and native user interfaces.
rotki/rotki
A portfolio tracking, analytics, accounting and management application that protects your privacy
piellardj/game-of-life-webgl
Variations on Conway's Game of Life, running on GPU
tailwindlabs/tailwindcss
A utility-first CSS framework for rapid UI development.
chmln/sd
Intuitive find & replace CLI (sed alternative)