Love
Selected Projects
- Lean Regex: formally verified Regex library written in Lean 4
- udukohh.land: fan site for 卯月コウ
- 翠森アトリコメント検索: Indexed substring search for live stream comments from the 翠森アトリ channel
Interests
- Formally Verified Programs
- Programming Languages
- Concurrency and Memory Models
- Economics
- Ethics
Contact
- 𝕏: __pandaman64__
- GitHub: pandaman64