This project is inspired by Eric Weinstein's Graph-Wall-Tome (GWT) project. Watch visual models on the YouTube channel.
- CSV v0.10.13
- DataFrames v1.6.1
- FileIO v1.16.3
- GLMakie v0.9.9
You can install Porta by running this (in the REPL):
]add Porta
or,
Pkg.add("Porta")
or get the latest experimental code.
]add https://github.com/iamazadi/Porta.jl.git
For client-side code read the tests, and for examples on how to build please check out the models directory. See planethopf.jl as an example!
- Logic [Doing]
- Set Theory [TODO]
- Topology [TODO]
- Topological Manifolds [TODO]
- Differentiable Manifolds [TODO]
- Bundles [TODO]
- Geometry: Symplectic, Metric [TODO]
- Documentation [TODO]
- Geometric Unity [TODO]
- Physics and Geometry, Edward Witten, (1987)
- The iconic Wall of Stony Brook University
- The Road to Reality, Sir Roger Penrose, (2004)
- A Portal Special Presentation- Geometric Unity: A First Look
- Planet Hopf, Dror Bar-Natan, (2010)
- SPINORS AND SPACE-TIME, Volume 1: Two-spinor calculus and relativistic fields, Roger Penrose, Wolfgang Rindler, (1984)
- A Young Person's Guide to the Hopf Fibration, Zachary Treisman, (2009)
- Mathematical Gauge Theory, with Applications to the Standard Model of Particle Physics, Mark J.D. Hamilton, (2018)
- Dynamics in the Hopf bundle, the geometric phase and implications for dynamical systems, Rupert Way, (2008)