λ

ramda.io

Web技術、ラムダ計算、レイトレーシングなどに興味があります。

簡単なインタープリターを作る初心者向けの解説本です。

WebGLによるpath tracerの実装

DBから別のDBにデータを移行するためのツール。Go製。

WASMをターゲットとする自作コンパイラ。言語設計から始め、LSPの実装やセルフホストなどを行った。

趣味で作ってみたUIライブラリ。viteでstorybookのようなものも自作した。

Quartzコンパイラのセルフホスト時に書いた記事。この他にも数本記事あります。

自分用のActivityPubサーバーの実装をしてみたプロジェクト。RSSから記事を拾ってきてNoteにして流す機能などがある。

emotionで記述するCSSのpropertyを並び替え&フォーマットしてくれるeslint plugin

存在型とreflectionを使ったHaskellにおけるDI実装の解説記事

一人Advent Calendarと題して、Isabelleの解説記事と、簡単な定理証明器を作る記事を連載したもの。

Setoidをベースにした圏論の定義や定理をAgdaで証明したもの。米田の補題やMonad, T-代数などを扱っている。