Pinned Repositories
agda-combinatorics
Combinatorics in Agda
agda-misc
Miscellaneous Agda code
ca-ts
Cellular Automaton Library for TypeScript
game-of-life-3d
Conway's Game of Life in 3D
rei1024.github.io
rei1024's Repositories
rei1024/rei1024.github.io
rei1024/agda-combinatorics
Combinatorics in Agda
rei1024/agda-misc
Miscellaneous Agda code
rei1024/ca-ts
Cellular Automaton Library for TypeScript
rei1024/game-of-life-3d
Conway's Game of Life in 3D
rei1024/agda-categories
A new Categories library
rei1024/agda-stdlib
The Agda standard library
rei1024/cubical
rei1024/kintomo
rei1024/math-vis
Math visualization
rei1024/note
rei1024/oscilloscope
Oscilloscope is an oscillator analyzer for cellular automata.
rei1024/TextSearch
Search text