Porta.jl

A useful tool on the road to reality. Read the documentation on the website.
Popularity
56 Stars
Updated Last
10 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.