Linux kernel source tree

A machine learning compiler for GPUs, CPUs, and ML accelerators

Development repository for the Triton language and compiler

Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! 🦥

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

Godot Engine – Multi-platform 2D and 3D game engine

Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

Nix Packages collection & NixOS

👻

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

The Python programming language

Lean 4 programming language and theorem prover

A refreshingly simple data-driven game engine built in Rust

Lightweight coding agent that runs in your terminal

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

Visual Studio Code

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

小米运动刷步数（微信支付宝）支持邮箱登录

Verilator open-source SystemVerilog simulator and lint system

Official documentation for getting things done with Nix.

An Emacs framework for the stubborn martian hacker

Window handling library in pure Rust

HIP: C++ Heterogeneous-Compute Interface for Portability

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

High-performance automatic differentiation of LLVM and MLIR.

CUDA Templates for Linear Algebra Subroutines

Godot Engine official documentation