Discover @shnarazk Open Source projects

Narazaki, Shuji (@shnarazk)

shnarazk

Stars
168
Global Rank 141,206 (Top 5 %)
Followers 25
Following 6
Registered over 13 years ago
Most used languages

Rust
50.0 %

C
12.5 %

GDScript 12.5 %

HTML
6.3 %

APL 6.3 %

Haskell
6.3 %

Nix
6.3 %
Location 🇯🇵 Japan
Country Total Rank 3,867
Country Ranking

APL 1

GDScript 22

Nix
40

Haskell
58

Rust
151

C
506

HTML
2,882

splr

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

mios

A SAT solver written in Haskell.

tree-sitter-uiua

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

tree-sitter-bqn

BQN grammar for tree-sitter

learn-godot

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

flakes

My flakes over nixpkgs

learn-bqn

配列指向プログラミング言語BQN の始め方(日本語版) -- Learn and write an introduction of BQN, an APL descendant (in Japanese)

learn-axum

Learning Axum framework

advent-of-code

The annual event for computer science enthusiasts!

breakout

A juicy breakout in Rust with Bevy

hal2022

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

sudoku_sat

Solving Sudoku variants with SAT solvers

SAT-bench

A benchmark suit for SAT solvers

shnarazk.github.io

A blog built with Zola

dodge-the-bevy

A No-click Game in Rust, with Bevy, imported from Godot tutorial

ddir

Decision Diagrams in Rust

Bup

BQN utility package