#
Starred repositories
VarLifter is a tool for recovering variables and types from bytecode of Solidity smart contracts
Reference implementation for the peer-to-peer agent that manages the Stellar network.
CcNav is a web-based tool for visualizing compiler optimizations in binaries.
OpenZeppelin Contracts is a library for secure smart contract development.
node of the decentralized oracle network, bridging on and off-chain computation
Thesis project on the development of a framework for Value-Set Analysis
Rust Programming Fundamentals - one course to rule them all, one course to find them...
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
tool of llm-based indirect-call analyzer
Build effective agents using Model Context Protocol and simple workflow patterns
A hub of frontend, agent kits, and smart contract examples for BNB Chain developers. Build and innovate with ready-to-use resources.
📊 Pancake subgraph (blocks, profile, prediction, NFT's, ...)
A very simple open source implementation of Google's Project Naptime
TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning
Community maintained hooks for PyInstaller.
Java web common vulnerabilities and security code which is base on springboot and spring security
🥞 Pancake main features (farms, pools, IFO, lottery, profiles)
Train transformer language models with reinforcement learning.
Reference implementation for DPO (Direct Preference Optimization)
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.