Discover @SnO2WMaN Open Source projects

SnO₂WMaN (@SnO2WMaN)

SnO2WMaN

Stars
300
Global Rank 89,066 (Top 4 %)
Followers 225
Following 297
Registered about 9 years ago
Most used languages

TypeScript
34.7 %

Nix
27.8 %

JavaScript
11.1 %

Python
2.8 %

Go
1.4 %

Rust
1.4 %

Coq 1.4 %

SCSS 1.4 %

Haskell
1.4 %

Lean 1.4 %

Alloy 1.4 %

Astro 1.4 %

Typst 1.4 %

Nim
1.4 %

Markdown 1.4 %

Clojure
1.4 %

HTML
1.4 %

Vue 1.4 %

GDScript 1.4 %

Erlang
1.4 %

CSS
1.4 %

deno2nix

Integrate Deno with Nix

sno2wman.dev-vol.1

factchecker

鴨川って快活CLUBだ

otaku

お客様は、本ソフトウェアを大量破壊兵器等（核兵器・化学兵器・生物兵器・ミサイル）の設計、製造、使用を目的に使用しないことに確約いただきます。

satyxin

Are you SATySFi-ed with Nix?

customizable-gitmoji-cli

customizable gitmoji CLI

tohohoify

most-appear-single-char-in-niconico-tag

涼宮ハルヒコラボ、開催中よ！SOS団、全員集合！しかも、イベントはフルボイス！ただの野球部には興味ありません！野球型青春体験ゲーム、八月のシンデレラナイン！今なら、涼宮ハルヒが貰えます！

Ronald-McDonald-insanity

M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ

music-box

pinned gist box for Last.fm

sno2wman.graphics

random-wotaku-reply

ひどいと思った。世界は本当に寂しいところになった。

niconico-n-plays-tag

教えはどうなってんだ教えは

bd_gfngfnify

https://shindanmaker.com/946798

16-personalities

君に、胸キュン。

is-answer-to-the-ultimate-question-of-life-the-universe-and-everything

Check if the value is 42

corepack.nix

TIny Nix flake for node.js corepack

all-your-nicovideos-in-scrapbox

死ぬほど好きすぎて

sno2wman.dev-vol.3

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

lean4-modallogic

Formalization of Modal Logic in Lean 4

nix-config

ブルーベリーは目に良いんですよ

md-to-pdf-template

いまだ消えないこの臨場感

incompleteness.txt

不完全性定理に関する諸々のメモ

rust-proplogic-toylang

この冰剣はアトリビュートであり本質ではない

last.fm-badge

last.fm badge, for README

i-love-love-you-you-love-love-me

ﾗ┐″］･/ｔ°ｭ─勺ｰ

Liked

ジョークや芸術作品としての表現・言論の自由ももちろん認められるべきですが、この投稿ではソースが明確でない情報を、事実と誤認されかねない表現で発信していたため、ノートを作成しました。

satysfi-tools-nix

satysfi-sno2wman

2022は留年が来ます。

NixBook

Nixに関する書物

spotify2image

💫 Convert a Spotify Embed to Image.

gradation-slider

https://twitter.com/calmeryme/status/1270033405971853324 の模倣

fetch-my-twitter-following

盗撮はいけないことだけど

infrastructures

皆　「「ウィーアー　ザ・セイバーズ！！！！！！！！！！！！！！！！！！！！！！！」」

merge-satysfi-hash

typst-tarski-undefinability-report

Typstで書かれたTarskiの真理定義不可能性定理に関してのレポート

deploy-storybook-to-netlify

私の処にやってきたあんたは全てを破壊する目をしていたわ！

yamlfmt.nix

prettier-plugin-optipack

Prettier Plugin for optipack (package.json optimizer)

raywhite

冰剣の魔術師が世界を統べる〜世界最強の魔術師である少年は、魔術学院に入学する〜

sno2wman.net

ダークらき☆すたｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

SnO2WMaN

M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ

fetch-niconico-videos

D ほぼすべての作品を視聴

websocket-practice

say-hello-to-satysfi

今日は私のおごりだから

ritsumeikan-sa-exp3-iot-distributed

haskell-first-practice

tauri-with-nix-test

coq-first-practice

internet_heiwa.gif

say-hello-to-rust

say-hello-to-julia

kotlin-playground

erlang-playground

test-devcontainer-nix-feature

say-hello-to-alloy

『抽象によるソフトウェア設計 Alloyではじめる形式手法』を読んで

Ronald-Mcdonald-shoe-size

ドナルドのくつってなんセンチ？

soundcloud2image

cli

$ npx @sno2wman/cli

satysfi-nixtemplate

SATySFi document template with Nix and satyxin(https://github.com/SnO2WMaN/satyxin)

go-echo-playground

markovify-playground

sno2wman.dev-vol.2

satysfi-nix-ci

ダブ東　ドラ2　海底撈月　ツモ　3000　6000

who-folked-lets-get-arrested

nim-first-practice

minimum-docker-compose-for-monstache

MongoDB <=> Elasticsearch

timeraas

開け！悟りのモード

meilisearch-playground

recent-otomad-tags

nixified-voicevox

VOICEVOXのサンプルをNixでビルド出来るようにする

gomod-tutorial-dodgegame

zenn-articles

文化庁メディア芸術祭審査委員会推薦作品

grpc-playground

deno-grpc-test

logiksolva

最強○×計画

ring-playground

my first clojure(w/ ring) experience