yuchiki.github.io


どうも。Yuchikiです
プロフィール
最終更新日時

アカウント類

Twitter
@yuchiki1000yen
misskey.io
@yuchiki1000yen
mstdn.jp
@yuchiki1000yen
Github
yuchiki
Qiita
yuchiki1000yen
zenn
yuchiki
Blog
Amosapientiam

icon

icon
iconは八ヶ岳から撮った雲海です。

作ったもの

Laml
Haml的な表記でLatexが書けるもの。更新していません
SKI Repl
SKIコンビネーターを簡約するrepl。式を名前に束縛する機能付き
YuchiKaml
ML風動的型付け自作言語のインタプリタ。C#のパーサーコンビネータライブラリSpracheに馴れるための習作です。
TypedMiniLang
OCamlのごくごく小さなサブセットの型推論器習作
wikiCUI
多言語のWikipediaを検索できるCUIコマンド
GroebnerBasis
式を与えるとグレブナー基底を求めるREPL
Shavian
ショー文字を発音にするやつ
Diacritizer
私がエキゾチックな表記で英語を綴るときに使ってるやつ

ページのソースコード

このページのソースコード