JonathanGorard

JonathanGorard's repositories

Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes

Language:Mathematica75 6 1

Categorica: a pure and applied category theory framework for the Wolfram Language

Language:Mathematica25 6 3

The Cosmos numerical relativity code (with unstructured AMR)

Language:C++16 10

Files from public (Twitch) livestreamed research sessions

Language:Mathematica100

Lowest, compiled layer of Gkeyll infrastructure.

Language:CMIT000

Labyrinth - the formal verification and simulation pipeline for the Daedaelus protocol suite

Language:Mathematica000