DDOtten

Pinned Repositories

automaton
Language:Rust0 1 00
ddotten.github.io
Language:CSS0 1 00
dutchcats.github.io
Website of the Dutch Categories And Types Seminar
Language:HTML00
M-types
Language:Agda0 2 00
partitions
A disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.
Language:Rust10 0 33
PSSL-2024
00

DDOtten's Repositories

DDOtten/partitions
A disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.
Language:Rust10 0 33
DDOtten/automaton
Language:Rust0 1 00
DDOtten/ddotten.github.io
Language:CSS0 1 00
DDOtten/dutchcats.github.io
Website of the Dutch Categories And Types Seminar
Language:HTML00
DDOtten/M-types
Language:Agda0 2 00
DDOtten/PSSL-2024
00