A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Beautiful diagnostic reporting for text-based programming languages.

Automated property based testing for Rust (with shrinking).

A Great Collection of Deep Learning (e)Books

.pdf Format Books for Machine and Deep Learning

A rust implementation of Andrej Karpathy's Micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Visual Novel Site

Cross-platform, low level networking using the Rust programming language.

Calendars for Rust project teams

带中文导读的PhD申请攻略收集

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Resources for learning Category Theory for an enthusiast

🤖 Just a command runner

Markdown makes sites - A Static Site Generator for Blogs

This package contains the original 2012 AlexNet code.

Flash浏览器 / Flash Browser

Algebraic effects in rust

Machine Learning and Agentic AI Resources, Practice and Research

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Outliner-like breadcrumb trees for search, backlinks and embedded queries

[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

The agda-unimath library

Rust port of Google's SwissTable hash map

A small and fast async runtime for Rust

Algebraic effects for Rust

The Arend Proof Assistant

An implementation of the Language Server Protocol for LaTeX