1inguini's repositories
48scheme.idr
r5rs subset in Idris
1inguini.com
cdk8sで生成した https://1inguini.com のkubernetesマニフェストとか
1inguini.github.io
ブログ的なものになる予定
mud
多重ディスパッチをベースとする静的型付け関数型プログラミング言語
.xmonad
xmonad setting
1tasita_multipost
致したデータベース移行のための https://shokorism.net と https://nuita.net などへの同時投稿ツール
48scheme
doing https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
av3-animator-as-code
Write concise code to generate Avatars 3.0 Animators. Please join the Discord for feedback! (see README)
cdk8s-core
Define Kubernetes native apps and abstractions using object-oriented programming
claire
A simple proof assistant
dotemacs.d
My emacs configuration
idris-calc
idrisの練習、計算機
kube-manifest
kubernetes manifest files written in haskell
Licences
booth等で公開している物の利用規約公開用
mi2tw
CloudFlare Workerで動く、Misskeyの投稿をTwitterに転送するやつ(https://git.1inguini.com/1inguini/mi2tw のミラー)
ponc
might become POstfix Non-Curried functional programming language
servant-elm
Automatically derive Elm functions to query servant webservices
shake
Shake build system
twitter-likes
無為がtwitterのlikeの画像をダウンロードしたいと言っていたので参考になるように作ってみた。
Unity_VRCSDK3_pub
Assets/linguini in my VRCSDK3 Unity project
vulkan-playground
me playing with Vulkan
www.haskell.org
www.haskell.org site source