wrrnhttn

Pinned Repositories

agda-cubical-freeobjects
Language:Agda0 1 10
agda-cubical-multidimensional
Multidimensional data in Cubical Agda.
Language:Agda0 1 40
agda-mereotopology
Mereotopology in Agda
0 1 00
agda-sdg
Basic SIA and SDG in Agda
Language:Agda1 1 10
Carnap
A formal logic framework that runs in the browser
Language:Haskell0 0 00
Heijden.Dns
A reusable DNS resolver for .NET.
Language:C#0 2 00
joycon-unity
Use Nintendo Switch Joycon as an input method for the Unity Editor
7 2 02
mobius
Language:Haskell0 1 00
s22-truth-tables
Language:HTML00
wrrnhttn.github.io
Language:HTML0 1 10

wrrnhttn's Repositories

wrrnhttn/joycon-unity
Use Nintendo Switch Joycon as an input method for the Unity Editor
7 2 02
wrrnhttn/agda-sdg
Basic SIA and SDG in Agda
Language:Agda1 1 10
wrrnhttn/agda-cubical-freeobjects
Language:Agda0 1 10
wrrnhttn/agda-cubical-multidimensional
Multidimensional data in Cubical Agda.
Language:Agda0 1 40
wrrnhttn/agda-mereotopology
Mereotopology in Agda
0 1 00
wrrnhttn/Carnap
A formal logic framework that runs in the browser
Language:Haskell0 0 00
wrrnhttn/Heijden.Dns
A reusable DNS resolver for .NET.
Language:C#0 2 00
wrrnhttn/mobius
Language:Haskell0 1 00
wrrnhttn/s22-truth-tables
Language:HTML00
wrrnhttn/wrrnhttn.github.io
Language:HTML0 1 10