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 5 years ago
- Elliptic functions for Matlab and Octave☆14Jul 27, 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- My own collection of small mods for Geode☆14Apr 27, 2026Updated 3 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 4 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 8 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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 week
- 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 last week
- 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.
- 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 last month
- A formalization of the Banach-Tarski theorem in Lean☆16Jan 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 5 months ago
- Oink, an implementation of modern parity game solvers☆36Jun 28, 2026Updated last month
- Lindenmayer Systems Fractals Renderer☆12Jun 3, 2019Updated 7 years ago
- A libre clone of the British Parliament's official font.☆16Aug 21, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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☆18Jul 31, 2026Updated 2 weeks ago
- 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