Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.
☆19Dec 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 6 years ago
- Elliptic functions for Matlab and Octave☆15Aug 16, 2026Updated 2 weeks 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
- 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.
- My own collection of small mods for Geode☆14Apr 27, 2026Updated 4 months ago
- Collection of helpers to generate and manipulate HTML contents☆20Jul 5, 2026Updated last month
- 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 5 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 9 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 9 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.☆15Aug 2, 2026Updated last month
- Makes it possible to really use concatenated idents in Rust.☆26Apr 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.☆16Aug 4, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆16Jun 17, 2026Updated 2 months ago
- A formalization of the Banach-Tarski theorem in Lean☆17Jan 4, 2026Updated 7 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 6 months ago
- Oink, an implementation of modern parity game solvers☆35Jun 28, 2026Updated 2 months ago
- Lindenmayer Systems Fractals Renderer☆12Jun 3, 2019Updated 7 years ago
- A libre clone of the British Parliament's official font.☆16Aug 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 3 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☆18Aug 24, 2026Updated last week
- The Glowfic Constellation☆21Aug 9, 2026Updated 3 weeks ago
- 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