どうも。Yuchikiです
プロフィール
最終更新日時
アカウント類
- Twitter
-
@yuchiki1000yen
- misskey.io
-
@yuchiki1000yen
- mstdn.jp
-
@yuchiki1000yen
- Github
-
yuchiki
- Qiita
-
yuchiki1000yen
- zenn
-
yuchiki
- Blog
-
Amosapientiam
icon
iconは八ヶ岳から撮った雲海です。
作ったもの
-
Laml
-
Haml的な表記でLatexが書けるもの。更新していません
-
SKI Repl
-
SKIコンビネーターを簡約するrepl。式を名前に束縛する機能付き
-
YuchiKaml
-
ML風動的型付け自作言語のインタプリタ。C#のパーサーコンビネータライブラリSpracheに馴れるための習作です。
-
TypedMiniLang
-
OCamlのごくごく小さなサブセットの型推論器習作
-
wikiCUI
-
多言語のWikipediaを検索できるCUIコマンド
-
GroebnerBasis
-
式を与えるとグレブナー基底を求めるREPL
-
Shavian
-
ショー文字を発音にするやつ
-
Diacritizer
-
私がエキゾチックな表記で英語を綴るときに使ってるやつ
ページのソースコード
このページのソースコード