gr8den's Stars
tokio-rs/prost
PROST! a Protocol Buffers implementation for the Rust Language
Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
juicedata/juicefs
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
protocolbuffers/protobuf
Protocol Buffers - Google's data interchange format
Pauan/rust-signals
Zero-cost functional reactive Signals for Rust
DappioLab/solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
juliotpaez/solana-balanced-client
yoshuawuyts/futures-concurrency
Structured concurrency operations for async Rust
dtolnay/anyhow
Flexible concrete Error type built on std::error::Error
neodyme-labs/solana-ctf
A collection of Solana CTF challenges
sannykim/solsec
A collection of resources to study Solana smart contract security, auditing, and exploits.
awesome-selfhosted/awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
PhotonQuantum/jaccount-captcha-solver
High accuracy captcha solver for SJTU Jaccount login page using SVM and ResNet.
wagoodman/dive
A tool for exploring each layer in a docker image
solana-labs/solana-program-library
A collection of Solana programs maintained by Solana Labs
onekey-sec/unblob
Extract files from any kind of container formats
kklas/anchor-client-gen
A tool for generating solana web3 clients from anchor IDLs.
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
model-checking/kani
Kani Rust Verifier
dream-num/Luckysheet
Luckysheet is an online spreadsheet like excel that is powerful, simple to configure, and completely open source.
paradigmxyz/zk-eth-rng
Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
edgedb/edgedb
A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
nadeesha/ts-prune
Find unused exports in a typescript project. 🛀
hashicorp/hcl
HCL is the HashiCorp configuration language.
evcxr/evcxr
minio/minio
MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.
stevegrunwell/asimov
Automatically exclude development dependencies from Apple Time Machine backups
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
actix/actix-web
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.