10000 ahremen / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ahremen's full-sized avatar

Block or report ahremen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

Python 95 12 Updated Sep 3, 2024

Ethereum smart contract fuzzer

Haskell 2,902 397 Updated May 20, 2025

Modern, opinionated, and gas optimized building blocks for smart contract development.

Solidity 4,102 684 Updated Oct 29, 2024

Approximate floating point equality comparisons and assertions

Rust 167 36 Updated Apr 17, 2024

❌ Cargo plugin for linting your dependencies 🦀

Rust 1,950 96 Updated May 22, 2025

A cargo subcommand for displaying when Rust dependencies are out of date

Rust 1,300 103 Updated Apr 10, 2025

Find out what takes most of the space in your executable.

Rust 2,540 55 Updated May 10, 2024

RustSec API & Tooling

Rust 1,678 147 Updated May 23, 2025

Command-line sampling profiler for macOS, Linux, and Windows

Rust 3,029 67 Updated May 19, 2025

Blazing fast concurrent HashMap for Rust.

Rust 3,461 162 Updated Mar 5, 2025

a debugger for async rust!

Rust 3,935 157 Updated May 14, 2025

A Rust library for creating Excel XLSX files.

Rust 432 31 Updated May 24, 2025

A pure Rust Excel/OpenDocument SpreadSheets file reader: rust on metal sheets

Rust 1,920 182 Updated Apr 24, 2025

🔱 A dynamic SQL query builder for MySQL, Postgres and SQLite

Rust 1,394 208 Updated May 20, 2025

Tools for concurrent programming in Rust

Rust 7,873 489 Updated Apr 8, 2025

The implementation of Stateless Ethereum client based on Reth

Rust 160 16 Updated Apr 16, 2025

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

Rust 616 42 Updated Apr 29, 2025

Statistics-driven benchmarking library for Rust

Rust 5,032 336 Updated May 17, 2025

🤖 Just a command runner

Rust 25,563 546 Updated Apr 21, 2025

Rust bindings for the Z3 solver.

Rust 393 122 Updated Dec 9, 2024

The Z3 Theorem Prover

C++ 11,027 1,532 Updated May 23, 2025

Zero-cost asynchronous programming in Rust

Rust 5,610 653 Updated May 23, 2025

Rayon: A data parallelism library for Rust

Rust 11,776 522 Updated Apr 11, 2025

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 28,630 2,636 Updated May 24, 2025

A curated list of awesome Uniswap v3 resources

513 65 Updated Mar 7, 2022

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

C++ 37,646 8,016 Updated Jan 30, 2025

Algorithms and Data Structures implemented in Go for beginners, following best practices.

Go 16,860 2,701 Updated Mar 24, 2025

All Algorithms implemented in Rust

Rust 24,002 2,388 Updated May 22, 2025

TypeScript-first schema validation with static type inference

TypeScript 38,162 1,459 Updated May 23, 2025
Next
0