Love

• Rust
• 梅
• Lean 4
• 卯月コウ
• 長瀬有花

Selected Projects

• Lean Regex: formally verified Regex library written in Lean 4
• udukohh.land: fan site for 卯月コウ
• Novelviewer: image viewer and search engine for AI-generated images, written in Rust with Tauri

Interests

• Formally Verified Programs
• Programming Languages
• Concurrency and Memory Models
• Economics
• Ethics

Contact

• 𝕏: __pandaman64__
• Misskey: @pandaman64
• GitHub: pandaman64