LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow

LLMDFA: Analyzing Dataflow in Code with Large Language Models

Concurrently chat with ChatGPT, Bing Chat, Bard, Alpaca, Vicuna, Claude, ChatGLM, MOSS, 讯飞星火, 文心一言 and more, discover the best answers

Autonomous agents for everyone

download statistics for npm packages

FastGPT is a knowledge-based platform built on the LLMs, offers a comprehensive suite of out-of-the-box capabilities such as data processing, RAG retrieval, and visual AI workflow orchestration, le…

Code coverage for Solidity smart-contracts

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Solidity Compiler for Solana, Polkadot and Stellar

A comprehensive list of papers using large language/multi-modal models for Robotics/RL, including papers, codes, and related websites

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

A random Solidity program generator.

A curation of awesome tools, documents and projects about LLM Security.

A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)

Showcase your skills on your Github readme or resumé with ease ✨

CTF challenge (mostly pwn) files, scripts etc

zkSync: trustless scaling and privacy engine for Ethereum

A simple Blockchain in Python

Understanding Ethereum: Go-Ethereum Code Analysis｜理解以太坊: Go-Ethereum 源码剖析

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

This repo includes Claude prompt curation to use Claude better.

Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

UB-free and deterministic rustc fuzzer

C-family Abstract Syntax Tree XML Output

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.