Porta.jl

A useful tool on the road to reality. Read the documentation on the website.
Popularity
56 Stars
Updated Last
2 Months Ago
Started In
February 2020

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 v0.10.13
  • DataFrames v1.6.1
  • FileIO v1.16.3
  • GLMakie v0.9.9

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 read the tests, and for examples on how to build please check out the models directory. See planethopf.jl as an example!

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

Used By Packages

No packages found.