Geometrize the quantum!

This project is inspired by Eric Weinstein's Graph-Wall-Tome (GWT) project. Watch visual models on the YouTube channel.

Requirements

  • CSV
  • DataFrames
  • FileIO
  • GeometryBasics
  • GLMakie

Installation

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

Usage

For client-side code see the tests, and check out the models directory for examples.

Status

  • Logic [Doing]
  • Set Theory [TODO]
  • Topology [TODO]
  • Topological Manifolds [TODO]
  • Differentiable Manifolds [TODO]
  • Bundles [TODO]
  • Geometry: Symplectic, Metric [TODO]
  • Documentation [TODO]
  • Geometric Unity [TODO]

References