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☆14Apr 25, 2026Updated 2 months ago
- Matrix-operation is a linear algebra library in Elixir language.☆10Apr 16, 2022Updated 4 years ago
- hichesslib is a cross-platform Python GUI chess library.☆12Jul 16, 2024Updated 2 years ago
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My own collection of small mods for Geode☆14Apr 27, 2026Updated 2 months ago
- Collection of helpers to generate and manipulate HTML contents☆19Jul 5, 2026Updated 2 weeks ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- 3D terrain generation with erosion, rendered in WebGL☆22Oct 22, 2017Updated 8 years ago
- render a class of curved 4D shapes☆12Mar 31, 2026Updated 3 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 7 months ago
- Tesseract (4D Hypercube) implementation in Unity☆27Mar 28, 2022Updated 4 years ago
- Official Implementation of the Paper "MAGNet: Motif-Agnostic Generation of Molecules from Shapes"☆15Nov 25, 2023Updated 2 years ago
- Small script that make reading news more fun - based on http://xkcd.com/1288/☆15May 24, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Bessel Functions in JS☆36Oct 8, 2019Updated 6 years ago
- ◻️ A Way To Create, Show, and Rotate 4D Objects in Unity 3D☆29Aug 12, 2017Updated 8 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Makes it possible to really use concatenated idents in Rust.☆25Apr 23, 2024Updated 2 years ago
- A cosmic, polyphonic, additive FM synthesizer.☆21Apr 6, 2023Updated 3 years ago
- Collection of Mozilla MathML add-ons☆35Apr 23, 2017Updated 9 years ago
- The search application used by Archives of Nethys 2E.☆15Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Plugin to enhance support for vim's 'gf' map in python.☆16Jan 27, 2019Updated 7 years ago
- A translation framework for eliminating definitional equalities in Lean☆15Jun 17, 2026Updated last month
- A formalization of the Banach-Tarski theorem in Lean☆15Jan 4, 2026Updated 6 months ago
- A zsh plugin to print the time it takes for the shell to start up☆23May 22, 2024Updated 2 years ago
- Post-Processing Stack v2 Ambient Occlusion works on Lightweight Render Pipeline☆15Oct 4, 2019Updated 6 years ago
- geode mod that adds a bumpscosity slider into GD☆18Feb 23, 2026Updated 5 months ago
- Oink, an implementation of modern parity game solvers☆36Jun 28, 2026Updated 3 weeks ago
- Lindenmayer Systems Fractals Renderer☆12Jun 3, 2019Updated 7 years ago
- A libre clone of the British Parliament's official font.☆14Aug 21, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Animated polyhedra and compounds with Javascript & Three.js☆21Jan 8, 2024Updated 2 years ago
- Neos Interface for the MetaGen system. Record and Playback☆13Aug 7, 2023Updated 2 years ago
- A program to optimize the effort we spend on cooking and eating food.☆13Dec 9, 2022Updated 3 years ago
- The Noperthedron does not have Rupert Property: a proof in Lean4☆17Updated this week
- The Glowfic Constellation☆21Updated this week
- Sublime 3 syntax file for TiddlyWiki5 *.tid files☆16Dec 10, 2015Updated 10 years ago
- Unbuffered and unlocked I/O streams☆45Mar 7, 2025Updated last year