Floating window manager for Tmux

macOS system monitor in your menu bar

An extremely fast Python type checker and language server, written in Rust.

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

A community-maintained Python framework for creating mathematical animations.

Touying is a powerful package for creating presentation slides in Typst.

Branch-and-cut-and-price template code

Visualize, query, and stream to train on multimodal robotics data.

A Typst package for even better code blocks

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

elkai is a Python library for approx. solving travelling salesman problems (TSP) based on LKH 3

BCP2-MAPF – branch-and-cut-and-price for multi-agent path finding, version 2

An optimal MAPF sovler: CBS+prioritizing conflicts+bypassing+high-level heuritstics+symmetry reasoning

Master programming by recreating your favorite technologies from scratch.

[AAAI 2025] Loosely Synchronized Rule-Based Planning

中国科研常用LaTeX模板集

nsfc - 国家自然科学基金项目LaTeX模版(面地青CBA)

✨ Making your shell magical

AeroSpace is an i3-like tiling window manager for macOS

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

My personal macOS configuration

Configs for nix-darwin

Ultimate Vim Mode for macOS

A key remapping daemon for linux.

The most straightforward way of online text sharing 📠 (UPDATE: qtext.io is now kuick.io)

Framework and Language for Neurosymbolic Programming.

A modular, reusable university course for Rust

Collection of DOs and DON'Ts for modern Neovim Lua plugin development

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions