Mirror of https://git.ffmpeg.org/ffmpeg.git

Lean's LEDE source

Inference Llama 2 in one file of pure C

NVIDIA Linux open GPU kernel module source

SumatraPDF reader

Extremely fast non-cryptographic hash algorithm

GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm

Sioyek is a PDF viewer with a focus on textbooks and research papers

Retro Games in Gym

An open library of computer vision algorithms

ABC: System for Sequential Logic Synthesis and Formal Verification

Tutel MoE: Optimized Mixture-of-Experts Library, Support GptOss/DeepSeek/Kimi-K2/Qwen3 using FP8/NVFP4/MXFP4

Gibson Environments: Real-World Perception for Embodied Agents

Source code for the 10th edition of Operating System Concepts

Python bindings to picosat (a SAT solver)

SAT Solver SATCH

The DRAT-trim proof checker

A MATLAB wrapper of SVM^struct