Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.
☆18Dec 5, 2019Updated 6 years ago
Alternatives and similar repositories for SolvView
Users that are interested in SolvView are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- Elliptic functions for Matlab and Octave☆14Jun 29, 2025Updated 8 months ago
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated last year
- My own collection of small mods for Geode☆13Feb 26, 2026Updated 3 weeks ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- render a class of curved 4D shapes☆11Mar 27, 2025Updated 11 months ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- A cosmic, polyphonic, additive FM synthesizer.☆20Apr 6, 2023Updated 2 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- geode mod that adds a bumpscosity slider into GD☆17Feb 23, 2026Updated last month
- Animated polyhedra and compounds with Javascript & Three.js☆21Jan 8, 2024Updated 2 years ago
- Oink, an implementation of modern parity game solvers☆36Sep 22, 2025Updated 6 months ago
- A program to optimize the effort we spend on cooking and eating food.☆13Dec 9, 2022Updated 3 years ago
- Unbuffered and unlocked I/O streams☆45Mar 7, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- philospherbot☆17Feb 16, 2026Updated last month
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 11 months ago
- Python/numba package for evaluating Wigner D matrices and spin-weighted spherical harmonics☆56Nov 24, 2025Updated 4 months ago
- 🧣 A graphical program for exploring the Hopf fibration.☆57Dec 2, 2020Updated 5 years ago
- AI in social virtual environments☆18Jun 22, 2022Updated 3 years ago
- Microtonal VST instruments built with Pure Data + Camomile☆35Apr 3, 2018Updated 7 years ago
- Try a tactic at each step in a Lean proof.☆36Mar 1, 2026Updated 3 weeks ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆65Jan 2, 2024Updated 2 years ago
- Official Repository for the paper "No Gestures Left Behind: Learning Relationships between Spoken Language and Freeform Gestures", Findin…☆20Jun 13, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Node Interface for NeosVR☆19May 24, 2025Updated 10 months ago
- Godot Engine – Multi-platform 2D and 3D game engine☆26Mar 14, 2026Updated last week
- A converter and basic tester for rwkv onnx☆43Jan 29, 2024Updated 2 years ago
- Check out the various styles and effects OpenPerform has to offer with our BVH animation demo!☆28Apr 14, 2019Updated 6 years ago
- A formal consistency proof of Quine's set theory New Foundations☆82Feb 25, 2026Updated last month
- A tool for building and visualizing polytopes.☆62Mar 10, 2025Updated last year
- LaTeX package for typesetting books ready for CreateSpace.com☆81Feb 19, 2022Updated 4 years ago
- Conway-Hart Polyhedron Notation in Rust☆80Jan 10, 2026Updated 2 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆74Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Fungrim: the Mathematical Functions Grimoire☆123Feb 24, 2022Updated 4 years ago
- Implementation agnostic memory allocator for Vulkan-like APIs☆90Apr 9, 2024Updated last year
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆92Updated this week
- The Lean reference manual☆104Updated this week
- A Javascript port of the Versor Geometric Algebra library☆110Nov 20, 2015Updated 10 years ago
- Example repo showing online functionality leveraging Normcore☆55Nov 26, 2020Updated 5 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆57Apr 25, 2019Updated 6 years ago