Lists (20)
blockchain protocol
1 repository
blockchain-rust
1 repository
compiler
2 repositories
contract audit reports
3 repositories
ethereum-rust
33 repositories
formal verification
41 repositories
functional programming
2 repositories
fuzz
8 repositories
Latex/Beamer
3 repositories
papers
2 repositories
runtime verification
12 repositories
rust-development
11 repositories
samrt contract verification
15 repositories
smart contract analysis
18 repositories
smart contract CTF
1 repository
solana
1 repository
solidity contracts
1 repository
temporal properties
21 repositories
ZK
10 repositories
ZK EVM
2 repositories
Starred repositories
252
stars
written in Rust
Clear filter
An extremely fast Python package and project manager, written in Rust.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
🌴 Empowering everyone to build reliable and efficient smart contracts.
A markup-based typesetting system that is powerful and easy to learn.
An extremely fast Python linter and code formatter, written in Rust.
A simple, fast and user-friendly alternative to 'find'
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Cross-platform Rust rewrite of the GNU coreutils
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Beginner, advanced, expert level Rust training material
A native gRPC client & server implementation with async/await support.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
⏰ Agenticly track worldwide conference deadlines (Website, Python Cli, Wechat Applet)
A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
A 5-20x faster experimental Homebrew alternative
Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.
An interpreter for Rust's mid-level intermediate representation
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A Language Server for Postgres
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable