A tool for translating the content of LaTeX documents into various other natural languages (e.g., translating an arXiv paper from English to Chinese).

slime is an LLM post-training framework for RL Scaling.

[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero

GTP engine and self-play learning in Go

《动手学大模型Dive into LLMs》系列编程实践教程

Reference implementation of DeepMinds AlphaGo based on "Deep Learning and the Game of Go"

Password protect a static HTML page, decrypted in-browser in JS with no dependency. No server logic needed.

Versatile typeface for code, from code.

📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程

The agda-unimath library

torchview: visualize pytorch models

TransGPTex 是一个用于将 LaTeX 文章翻译成中文(或者其他语言)并编译成 PDF 的工具。它通过使用大型语言模型 (LLM) 来实现高质量的翻译。

Go implementation of (MK)TFHE scheme

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

DejaVu Sans Mono variant with ligatures for coding.

Monospaced font with programming ligatures based on DejaVu Sans Mono

Arch Linux kernel with 2018+ MacBook Pro patches.

A driver for MacBook models 2018 and newer, which makes the keyboard, mouse and audio output work.

可免费商用的大字符集宋体字库，以OFL协议发布。/A large character set fonts in Songti(Mincho) style. Licensed under the SIL OFL 1.1.

It's a New Kind of Wrapper for Exposing LLVM (Safely)

The Best Library: a C++ STL replacement

Modern CUDA Learn Notes with PyTorch for Beginners, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.

Practical Intro to Agda and Coq

A simple wrapper on C++ smart pointers for CUDA

A Lean companion to Analysis I

Code to automatically prove or verify estimates in analysis

Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoretic Transform (NTT) on Graphics Processing Units (GPUs).

This book was designed for easily diving into and getting skilled with Rust It's very easy to use. All you need to do is to make each exercise compile without ERRORS and Panics!

Docker Image for Ubuntu Desktop which support HW GPU accelerated GUI apps. you can access the Container with ssh or remote desktop, just like Cloud VM.

[ICML 2023] Official PyTorch implementation of Global Context Vision Transformers