SnO2WMaN

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

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

Pinned Repositories

customizable-gitmoji-cli
customizable gitmoji CLI
Language:TypeScript13 2 43
deno2nix
Integrate Deno with Nix
Language:Nix56 5 1623
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:TypeScript17 3 12
tohohoify
トホホ…
Language:TypeScript12 2 33

SnO2WMaN's Repositories

SnO2WMaN/deno2nix
Integrate Deno with Nix
Language:Nix56 5 1623
SnO2WMaN/16-personalities
君に、胸キュン。
Language:TypeScript5 2 1
SnO2WMaN/incompleteness.txt
不完全性定理に関する諸々のメモ
Language:Typst3 2 0
SnO2WMaN/lean4-modallogic
Formalization of Modal Logic in Lean 4
Language:Lean3 2 0
SnO2WMaN/Liked
ジョークや芸術作品としての表現・**の自由ももちろん認められるべきですが、この投稿ではソースが明確でない情報を、事実と誤認されかねない表現で発信していたため、ノートを作成しました。
Language:TypeScript3 1 0
SnO2WMaN/SnO2WMaN
M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ
3 2 0
SnO2WMaN/lean4-mahjong
Language:Lean2 2 01
SnO2WMaN/sno2wman.net
ダークらき☆すたｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!
Language:Astro2 2 4
SnO2WMaN/lean2wasm
Tool for compiling Lean to WASM
Language:Lean1
SnO2WMaN/slides-for-tpp2024
Language:Typst1
SnO2WMaN/Arithmetization
Formalization of Arithmetization of Metamathematics
SnO2WMaN/arkwnet-569
語録チェッカー
Language:Vue1 0
SnO2WMaN/dictionary
ずっと真夏の**コメディー！
2 0
SnO2WMaN/install-fontsource-action
Install fonts via Fontsource for GitHub Actions
Language:YAML
SnO2WMaN/install-juliamono-action
Install JuliaMono for GitHub Actions
Language:YAML
SnO2WMaN/lean-by-example
コード例で学ぶ Lean 言語
Language:Lean0 0
SnO2WMaN/lean4-logic
Lean4 Logic Formalization
Language:Lean1 0
SnO2WMaN/luthm
Tool to list unproved (by proved sorry) theorems in Lean4
Language:Lean
SnO2WMaN/mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
Language:Lean
SnO2WMaN/modal-companion-note
Note on Modal Companion
Language:TeX
SnO2WMaN/modallogic-text
標準様相論理の諸性質とその形式化
Language:Typst2 0
SnO2WMaN/notes-on-smullyanTP
Note on SmullyanTP
Language:Typst
SnO2WMaN/provability-logic-note
Note on Provability Logic
Language:TeX
SnO2WMaN/shiroa-playground
Language:Typst
SnO2WMaN/SmullyanTP
Formalizing of "Smullyan's Truth & Provability"
Language:Lean1 0
SnO2WMaN/texnix-template
Language:TeX
SnO2WMaN/typst-coins-thesis
筑波大学情報科学類の卒業論文向けのTypstテンプレート
Language:Typst1 0
SnO2WMaN/typst-gh-pages-test
Language:Typst
SnO2WMaN/typst-report-template
Language:Typst
SnO2WMaN/verso
Lean documentation authoring tool