JonathanGorard

Pinned Repositories

Categorica
Categorica: a pure and applied category theory framework for the Wolfram Language
Language:Mathematica25 6 33
Gravitas
Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes
Language:Mathematica74 4 011
Labyrinth
Labyrinth - the formal verification and simulation pipeline for the Daedaelus protocol suite
Language:Mathematica00
LivestreamFiles
Files from public (Twitch) livestreamed research sessions
Language:Mathematica10

JonathanGorard's Repositories

JonathanGorard/Gravitas
Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes
Language:Mathematica74 4 011
JonathanGorard/Categorica
Categorica: a pure and applied category theory framework for the Wolfram Language
Language:Mathematica25 6 33
JonathanGorard/LivestreamFiles
Files from public (Twitch) livestreamed research sessions
Language:Mathematica10
JonathanGorard/Labyrinth
Labyrinth - the formal verification and simulation pipeline for the Daedaelus protocol suite
Language:Mathematica00