Lists (1)
Starred repositories
Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…
Web3 security skills kit — smart contract auditing, blockchain client analysis, and on-chain exploit investigation.
A Ghidra plugin for locating object file boundaries.
Rust implementation of the Ethereum Virtual Machine.
Lightweight coding agent that runs in your terminal
Build resilient language agents as graphs.
Solidity Static Analyzer that easily integrates into your editor
Transports, Middleware, and Networks for the Alloy project
Resources for learning zero knowledge proof systems
Produce code coverage reports for AFL++ fuzzing campaigns with source code or in binary-only mode
Tools for instrumenting Windows Defender's mpengine.dll
Demystifying Exploitable Bugs in Smart Contracts
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
We are committed to the open-sourcing quantitative knowledge, aiming to bridge the information gap between the domestic and international quantitative finance industries. 我们致力于量化知识的开源与汉化，打破国内外量化金融行…
A set of utilities for exploring Solidity contracts
A collection of resources to help you build better and more secure Solana programs. Kept up to date.
High-performance blockchain indexer for 12 EVM networks. Real-time contract analysis and portfolio tracking with sub-second API response.
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
Lightning fast code searching made easy
LlamaIndex is the leading document agent and OCR platform
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
Open source software that helps you create and deploy high-frequency crypto trading bots