Beast code in Giters

Warren D Hatton's repositories

Use Nintendo Switch Joycon as an input method for the Unity Editor

Unlicense7 20

Basic SIA and SDG in Agda

Language:AgdaMIT1 1 1

Language:Agda01 1

Multidimensional data in Cubical Agda.

Language:AgdaMIT01 4

Mereotopology in Agda

MIT010

A formal logic framework that runs in the browser

Language:HaskellGPL-3.0000

A reusable DNS resolver for .NET.

Language:C#MIT020

Language:Haskell010

Language:HTMLGPL-3.0000

Language:HTML01 1