🔥 A cross-platform build utility based on Lua

The Nexus zkVM: The zero-knowledge virtual machine

A distributed, fast open-source graph database featuring horizontal scalability and high availability

AutoFDO

A continuously updated collection of CodeLLM papers

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

Corax for Java: A general static analysis framework for java code checking.

depyf is a tool to help you understand and adapt to PyTorch compiler torch.compile.

A binary lifter and analysis framework for Ethereum smart contracts

A proof assistant for higher-dimensional type theory

xDiT: A Scalable Inference Engine for Diffusion Transformers (DiTs) with Massive Parallelism

A high performance Python graph library implemented in Rust.

A free book: "The Science of Functional Programming"

A new markup-based typesetting system that is powerful and easy to learn.

LMDeploy is a toolkit for compressing, deploying, and serving LLMs.

A fast and lightweight native programming language

oneAPI Deep Neural Network Library (oneDNN)

A new (MLIR based) high-level IR for clang.

A Pointer Analysis Framework for Rust

Vim-fork focused on extensibility and usability

A massively parallel, high-level programming language

shiroa is a simple tool for creating modern online books in pure typst.

A modern computer algebra library for Python and Rust.

📃 开箱即用的 Markdown 简历，支持 VSCode / Obsidian / Typora

Unified compiler/runtime for interfacing with PyTorch Dynamo.

Minimalist ML framework for Rust

Creusot helps you prove your code is correct in an automated fashion.

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

LLM powered fuzzing via OSS-Fuzz.

SGLang is a fast serving framework for large language models and vision language models.