Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Latex code for making neural networks diagrams

A community continuation of Tu-154B2 by Masterskaya and Felis

Interactive Pytorch forward pass visualization in notebooks

Official implementation of GeCo2 (AAAI 2026) -- Generalized-Scale Object Counting with Gradual Query Aggregation

The math library of Lean 4

PyTorch implementations of deep reinforcement learning algorithms and environments

“Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。

Python and Java bindings for the OpenSky Network REST API

Achieve a tiny STL in C++11

A simple weather data provider script for the discontinued Professional Flight Plan X software.