𝑆 𝘢 𝒒 𝘶 .ᐟ 𝘢

gitlaw-jp. Japanese legislation as a Git repo.

sudoku-type-rs. Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀

proxyman-localization-ja. 🇯🇵Localization for Proxyman

Lippow. Functional Logic Programming for Law (DEVELOPING)

lets-get-arrested. This project is intended to protest against the police in Japan

three-cui-renderer. Rust

risten. A high-performance, type-safe "event dispatching framework" with static routing.

dotfiles. Nix

old-typelude. Rust

RSDice. A Rust dice bot implementation aiming for BCDice-compatible behavior.