SnO2WMaN

お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

Pinned Repositories

customizable-gitmoji-cli
customizable gitmoji CLI
Language:TypeScript12 2 43
deno2nix
Integrate Deno with Nix
Language:Nix54 5 1622
factchecker
鴨川って快活CLUBだ
Language:TypeScript16 1 71
most-appear-single-char-in-niconico-tag
涼宮ハルヒコラボ、開催中よ！SOS団、全員集合！しかも、イベントはフルボイス！ただの野球部には興味ありません！野球型青春体験ゲーム、八月のシンデレラナイン！今なら、涼宮ハルヒが貰えます！
Language:Nix10 1 00
music-box
pinned gist box for Last.fm
Language:JavaScript7 2 10
otaku
お客様は、本ソフトウェアを大量破壊兵器等（核兵器・化学兵器・生物兵器・ミサイル）の設計、製造、使用を目的に使用しないことに確約いただきます。
Language:JavaScript13 2 01
Ronald-McDonald-insanity
M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ
9 2 10
satyxin
Are you SATySFi-ed with Nix?
Language:Nix14 3 71
sno2wman.dev-vol.1
Language:TypeScript18 3 12
tohohoify
トホホ…
Language:TypeScript12 1 33

SnO2WMaN's Repositories

SnO2WMaN/deno2nix
Integrate Deno with Nix
Language:Nix54 5 1622
SnO2WMaN/16-personalities
君に、胸キュン。
Language:TypeScript5
SnO2WMaN/lean4-modallogic
Formalization of Modal Logic in Lean 4
Language:Lean3 2 0
SnO2WMaN/rust-proplogic-toylang
この冰剣はアトリビュートであり本質ではない
Language:Rust3 1 0
SnO2WMaN/incompleteness.txt
不完全性定理に関する諸々のメモ
Language:Typst2 2 0
SnO2WMaN/infrastructures
皆　「「ウィーアー　ザ・セイバーズ！！！！！！！！！！！！！！！！！！！！！！！」」
Language:Nix2 1 1
SnO2WMaN/sno2wman.net
ダークらき☆すたｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!
Language:Astro2 2 4
SnO2WMaN/typst-tarski-undefinability-report
Typstで書かれたTarskiの真理定義不可能性定理に関してのレポート
Language:Nix2 2 1
SnO2WMaN/SnO2WMaN
M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ
1 2 0
SnO2WMaN/arkwnet-569
語録チェッカー
Language:Vue1 0
SnO2WMaN/asq-api
Language:TypeScript2 0
SnO2WMaN/dictionary
ずっと真夏の**コメディー！
2 0
SnO2WMaN/killport
A command-line tool to easily kill processes running on a specified port.
Language:Rust1 0
SnO2WMaN/lean4-as-functional-programming-language-practice
Language:Lean2 0
SnO2WMaN/lean4-concatenation-theory
Formalization of Concatination Theory in Lean 4
Language:Lean2 0
SnO2WMaN/lean4-lambda-calculi
Language:Lean2 0
SnO2WMaN/lean4-logic
Lean4 Logic Formalization
Language:Lean1 0
SnO2WMaN/lean4-mahjong
Language:Lean2 0
SnO2WMaN/lean4-propositional-logic
Language:Lean2 0
SnO2WMaN/lean4-template
Language:Lean2 0
SnO2WMaN/luthm
Tool to list unproved (by proved sorry) theorems in Lean4
Language:Lean
SnO2WMaN/mathlib4
The math library of Lean 4
Language:Lean1 0
SnO2WMaN/mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
Language:Lean
SnO2WMaN/modallogic-text
標準様相論理の諸性質とその形式化
Language:Typst
SnO2WMaN/nixpkgs
Nix Packages collection
Language:Nix1 0
SnO2WMaN/nurl
Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]
SnO2WMaN/rust-nixdevcontainer-template
Language:Nix1 0
SnO2WMaN/SATySFi
A statically-typed, functional typesetting system
Language:OCaml
SnO2WMaN/typst-coins-thesis
筑波大学情報科学類の卒業論文向けのTypstテンプレート
Language:Typst1 0
SnO2WMaN/typst-gh-pages-test
Language:Typst