🧁 UI components for the modern Web, in a post-framework era.
リポジトリ
リポジトリ
Concurrent worker orchestration for Pi
Machine-checked formalizations of Theorems 1 to 5 in Liu and Anderson (2008) using Lean
Finance terminal, in your terminal.
Some of my past public researches are archived here
Rust utility for interacting with a webcam and capturing content
functional, durable data structures
Axiom Documentation
An open-source, code-first Typescript toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
Static JS web browser information.
Forward a receipt to your inbox and it's filed automatically.
Minimalist Python database query builder / anti-ORM. Dedicated to the Pycopy project: https://github.com/pfalcon/pycopy
终末地 End Field Automation 基于ok-script开发的自动化
Universal markup converter
Han: AI skills and agents for "Solo" product engineers and small teams
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Open-source Android/Desktop remake of Civ V
Lightweight Pascal toolkit