kcsmnt0

Pinned Repositories

automata
Language:Agda0 1 00
chesstensible-effects
Language:Haskell0 1 00
finite
Language:Agda0 1 03
free-cell
Language:Agda1 1 00
graph
finite graphs and graph search
Language:Agda0 1 01
numbers
numbers as quotient types
Language:Agda9 2 00
pocket-knife
Language:Rust1 2 00
proof-trees
Interactive proof tree editing
Language:Elm8 2 00
quotient
quotient types in cubical Agda
Language:Agda22 2 00
xbox
a command-line music player and music library browser in Haskell
Language:Haskell1 2 00

kcsmnt0's Repositories

kcsmnt0/quotient
quotient types in cubical Agda
Language:Agda22 2 00
kcsmnt0/numbers
numbers as quotient types
Language:Agda9 2 00
kcsmnt0/proof-trees
Interactive proof tree editing
Language:Elm8 2 00
kcsmnt0/free-cell
Language:Agda1 1 00
kcsmnt0/pocket-knife
Language:Rust1 2 00
kcsmnt0/xbox
a command-line music player and music library browser in Haskell
Language:Haskell1 2 00
kcsmnt0/automata
Language:Agda0 1 00
kcsmnt0/chesstensible-effects
Language:Haskell0 1 00
kcsmnt0/finite
Language:Agda0 1 03
kcsmnt0/graph
finite graphs and graph search
Language:Agda0 1 01
kcsmnt0/Categories
Lightly organized category theory stuff
Language:Agda1 0
kcsmnt0/elaborated-generics
Datatype-Generic Programming meets Elaborator Reflection, ported to the Agda standard library
Language:Agda
kcsmnt0/kcsmnt0.github.io
Language:HTML1 0
kcsmnt0/polysemy-keyed-state
Language:Haskell
kcsmnt0/polysemy-optics
Optics for Polysemy.
Language:Haskell1 0
kcsmnt0/reference
The Rust Reference
Language:Rust1 0