Warren D Hatton's repositories
joycon-unity
Use Nintendo Switch Joycon as an input method for the Unity Editor
agda-cubical-multidimensional
Multidimensional data in Cubical Agda.
agda-mereotopology
Mereotopology in Agda
Carnap
A formal logic framework that runs in the browser
Language:HaskellGPL-3.0000
Heijden.Dns
A reusable DNS resolver for .NET.
Language:HTMLGPL-3.0000