Skip to content

iamazadi/Porta.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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