JonathanGorard's repositories
Categorica
Categorica: a pure and applied category theory framework for the Wolfram Language
LivestreamFiles
Files from public (Twitch) livestreamed research sessions
gkylzero
Lowest, compiled layer of Gkeyll infrastructure.
Language:CMIT000
Labyrinth
Labyrinth - the formal verification and simulation pipeline for the Daedaelus protocol suite
Language:Mathematica000