Popular repositories Loading

1. Gravitas Gravitas Public

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

   Mathematica 83 11

2. Categorica Categorica Public

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

   Mathematica 26 3

3. Cosmos Cosmos Public

   The Cosmos numerical relativity code (with unstructured AMR)

   C++ 18 1

4. LivestreamFiles LivestreamFiles Public

   Files from public (Twitch) livestreamed research sessions

   Mathematica 1

5. Labyrinth Labyrinth Public

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

   Mathematica

6. gkylzero gkylzero Public

   Forked from ammarhakim/gkylzero

   Lowest, compiled layer of Gkeyll infrastructure.

   C