LLM inference in C/C++

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

A monitor of resources

The official mirror of the V8 Git repository

Free and Open Source Reverse Engineering Platform powered by rizin

The Z3 Theorem Prover

Tiny data-over-sound library

A superoptimizer for LLVM IR

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Library for lifting machine code to LLVM bitcode

Proof of work algorithm based on random code execution

Concrete: TFHE Compiler that converts python programs into FHE equivalent

A lightweight dynamic instrumentation library

Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android

Automatic verification of LLVM optimizations

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

Yet Another Random Program Generator

A C++ tool to unstrip Rust/Go binaries (ELF and PE)

Notes and exploration code for learning about AI/ML

A minimalistic C++ Jinja templating engine for LLM chat templates

A structure-aware grey box fuzzer based on modeling the input processing logic.

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

Some experiments with SMT solvers and GIMPLE IR

Differential Fuzzing of Bitcoin protocol implementations and libraries

Binary-only fuzzer for WebAssembly (WASI)

The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs and smart contracts written in Rust.