Japan, Asia

Narazaki, Shuji

Advanced
@shnarazk

Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣2️⃣4️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring

splr. A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

111

mios. A SAT solver written in Haskell.

39

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

28

tree-sitter-bqn. BQN grammar for tree-sitter

20

learn-godot. My record of 'Make an Action RPG in Godot 3.2' and 'pixel-platformer' in Godot 4.0

5

advent-of-code. 🎄The annual event for computer science enthusiasts!

5

flakes. My flakes over nixpkgs

3

zed-lean4. Zed extension to support Lean4 language

3

breakout. A juicy breakout in Rust with Bevy

2

hal2022. 人工知能学会X周年記念ゲームに基づくIT研究者のキャリアデザインおひとり様ボードゲーム

2

sudoku_sat. Solving Sudoku variants with SAT solvers

2

SAT-bench. A benchmark suit for SAT solvers

2

DDiL. BDD and ZDD in Lean4

2

LubySequence. Lean 4 formalization of the Luby sequence, offering recursive, tree, and state-machine characterizations, proofs and lemmas.

1

MineSweeper. MineSweeper

1

ddir. Decision Diagrams in Rust

1

Bup. BQN utility package

1

dodge-the-bevy. A No-click Game in Rust, with Bevy, imported from Godot tutorial

1

lean4-winnow. Implement some parser combinators like winnow.rs in Lean4

1

lean4-itertools. Add more methods on Iterators in Lean4

1
20
Apply