rei1024

Pinned Repositories

agda-combinatorics
Combinatorics in Agda
Language:Agda10
agda-misc
Miscellaneous Agda code
Language:Agda1 1 00
ca-ts
Cellular Automaton Library for TypeScript
Language:TypeScript10
game-of-life-3d
Conway's Game of Life in 3D
Language:TypeScript10
rei1024.github.io
Language:JavaScript20

rei1024's Repositories

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