kumom

Pinned Repositories

conways
Yet another Conway's game of life (torus grid)
Language:JavaScript0 1 00
cs550-persistent-avl-tree
Language:Scala2 1 00
dafny-fatnode
Verifying persistent binary search trees with Dafny
Language:Dafny1 2 00
persistent-tree-visualization
Visualization of persistent binary search trees (only fat node method so far)
Language:TypeScript0 1 00
radix-converter
Converts numbers between radix 2 to 36
Language:TypeScript5 2 33

kumom's Repositories

kumom/radix-converter
Converts numbers between radix 2 to 36
Language:TypeScript5 2 33
kumom/cs550-persistent-avl-tree
Language:Scala2 1 00
kumom/dafny-fatnode
Verifying persistent binary search trees with Dafny
Language:Dafny1 2 00
kumom/conways
Yet another Conway's game of life (torus grid)
Language:JavaScript0 1 00
kumom/persistent-tree-visualization
Visualization of persistent binary search trees (only fat node method so far)
Language:TypeScript0 1 00
kumom/codeql-uboot
Language:CodeQL1 10
kumom/FangShenDianXue
kumom/mariposa
Language:SMT0 0
kumom/pyrsistent
Persistent/Immutable/Functional data structures for Python
Language:Python1 0
kumom/Sindarin.Compiler
A compiler and software analysis playground
Language:TypeScript0 0