Cubical Viz
Interactive 3D visualization of cubical type theory using Svelte and Three.js
Cubical Type Theory Visualizer
Interactive 3D visualization of cubical type theory concepts using Svelte and Three.js.
About
This project aims to provide an interactive way to understand cubical type theory through 3D visualizations. Based on the paper "Cubical Type Theory: a constructive interpretation of the univalence axiom" and the Cubical Agda implementation.
Features (Planned)
- Visualize the interval type I with endpoints i0 and i1
- Interactive path types as functions I → A
- Squares, cubes, and higher-dimensional cubes
- Transport and composition operations
- Glue types and univalence
- Examples from the paper
Development
# Install dependencies
bun install
# Start dev server
bun run dev
# Build for production
bun run build
# Preview production build
bun run preview
Deployment
This project is configured to automatically deploy to GitHub Pages when pushed to the main branch.
Setup GitHub Pages
- Create a new repository on GitHub (e.g.,
cubical-viz) - Push this code to the repository
- Go to repository Settings → Pages
- Under "Build and deployment", select "GitHub Actions" as the source
- The site will be available at
https://yourusername.github.io/cubical-viz/
Manual Deployment
# Build the project
bun run build
# The dist/ folder contains the static site ready for deployment
Tech Stack
- Svelte 5: Reactive UI framework
- Three.js: 3D graphics library
- Vite: Build tool and dev server
- TypeScript: Type safety
- Bun: Fast JavaScript runtime and package manager
References
License
MIT
