Repositories
s-taiga/learn-group
s-taiga/react-linear-tree-editor
s-taiga/reference-manual-ja
The Lean Language Reference の日本語訳
s-taiga/MIL_ja
「Mathematics in Lean tutorial」の和訳.
s-taiga/metaprogramming_in_lean4_ja
Metaprogramming in Lean 4の日本語訳
s-taiga/fpil-ja
Functional Programming in Lean の日本語訳
s-taiga/lean-bf
s-taiga/LeanFFISamplePostgres
s-taiga/LeanFFISampleEnv
s-taiga/matusaka_book
s-taiga/sample_files
s-taiga/lean-db
s-taiga/lean-test-files
s-taiga/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
s-taiga/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
s-taiga/lean-math-workshop-my-solution
s-taiga/basic-category-theory
s-taiga/brain-fuck-client
s-taiga/agda_sample
s-taiga/comonad-fft
s-taiga/test-stack-app
s-taiga/test_stack_app
s-taiga/test_hask_app
サンプルプロジェクト
s-taiga/state-manager-react-socket.io
sample react + socket.io application