🌲
Preparing to get 500 stars.
Ph.D. of Eng., SAT solver🧑🏻🔬, 🎄Advent of Code: 4️⃣5️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust and Modified Engram ⌨️layout on Corne/Ferris.
-
a part-time tutor / coder
- Japan, Asia
- @[email protected]
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.