Pinned Repositories
agda-cubical-freeobjects
agda-cubical-multidimensional
Multidimensional data in Cubical Agda.
agda-mereotopology
Mereotopology in Agda
agda-sdg
Basic SIA and SDG in Agda
Carnap
A formal logic framework that runs in the browser
Heijden.Dns
A reusable DNS resolver for .NET.
joycon-unity
Use Nintendo Switch Joycon as an input method for the Unity Editor
mobius
s22-truth-tables
wrrnhttn.github.io
wrrnhttn's Repositories
wrrnhttn/joycon-unity
Use Nintendo Switch Joycon as an input method for the Unity Editor
wrrnhttn/agda-sdg
Basic SIA and SDG in Agda
wrrnhttn/agda-cubical-freeobjects
wrrnhttn/agda-cubical-multidimensional
Multidimensional data in Cubical Agda.
wrrnhttn/agda-mereotopology
Mereotopology in Agda
wrrnhttn/Carnap
A formal logic framework that runs in the browser
wrrnhttn/Heijden.Dns
A reusable DNS resolver for .NET.
wrrnhttn/mobius
wrrnhttn/s22-truth-tables
wrrnhttn/wrrnhttn.github.io