Narazaki, Shuji

icon company 🤷 icon location Japan, Asia icon location Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣0️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust/Zed, and Modified Engram ⌨️layout on Corne/Ferris.

Results 3 repositories owned by Narazaki, Shuji

mios

39
Stars
3
Forks
Watchers

A SAT solver written in Haskell.

verified publisher icon shnarazk

splr

71
Stars
8
Forks
Watchers

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

verified publisher icon shnarazk

tree-sitter-uiua

18
Stars
2
Forks
Watchers

Uiua grammar for tree-sitter. Finally, Uiua programmers get AST-based editing features.

verified publisher icon shnarazk