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:
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- render a class of curved 4D shapes☆12Mar 31, 2026Updated last month
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 5 months ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A cosmic, polyphonic, additive FM synthesizer.☆21Apr 6, 2023Updated 3 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Apr 22, 2026Updated last month
- Makes it possible to really use concatenated idents in Rust.☆25Apr 23, 2024Updated 2 years ago
- Animated polyhedra and compounds with Javascript & Three.js☆21Jan 8, 2024Updated 2 years ago
- Package registry for Lean/Lake.☆47Apr 23, 2026Updated last month
- Code to reproduce the results of "Curiosity Driven Exploration of Learned Disentangled Goal Spaces"☆19Oct 26, 2018Updated 7 years ago
- Try a tactic at each step in a Lean proof.☆36Apr 5, 2026Updated last month
- computable implementation of real numbers in Lean4☆49Jul 6, 2025Updated 10 months ago
- A converter and basic tester for rwkv onnx☆44Jan 29, 2024Updated 2 years ago
- 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.
- A formal consistency proof of Quine's set theory New Foundations☆84Feb 25, 2026Updated 3 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆78Updated this week
- This is the official implementation of the paper "Text2Gestures: A Transformer-Based Network for Generating Emotive Body Gestures for Vir…☆31Nov 16, 2021Updated 4 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆95May 2, 2026Updated 3 weeks ago
- A Javascript port of the Versor Geometric Algebra library☆110Nov 20, 2015Updated 10 years ago
- Mathlib search tool☆141May 14, 2026Updated last week
- Compute Stochastic Screen Space Reflections for unity post processing☆302Sep 27, 2024Updated last year
- rreusser.github.io☆252Mar 12, 2026Updated 2 months ago
- Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.☆417Updated this week
- 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.
- Natural Number Game☆322Updated this week
- Versor Geometric Algebra Library☆323Nov 3, 2025Updated 6 months ago
- A project to digitalise results from physics into Lean.☆578Updated this week
- A torchless, c++ rwkv implementation using 8bit quantization, written in cuda/hip/vulkan for maximum compatibility and minimum dependenci…☆312Jan 31, 2024Updated 2 years ago
- The Lean version manager☆524Mar 18, 2026Updated 2 months ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆253Aug 26, 2020Updated 5 years ago
- The Python toolkit for computing with string diagrams.☆420Updated this week
- [ECCV 2024] Official PyTorch implementation of RoPE-ViT "Rotary Position Embedding for Vision Transformer"☆462Oct 29, 2025Updated 6 months ago
- A library for machine learning research on motion capture data☆363Sep 1, 2022Updated 3 years ago
- 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.
- PaCMAP: Large-scale Dimension Reduction Technique Preserving Both Global and Local Structure☆968Mar 3, 2026Updated 2 months ago
- Language Modeling with the H3 State Space Model☆523Sep 29, 2023Updated 2 years ago
- An authentication system generator for Phoenix 1.5 applications.☆763Aug 21, 2021Updated 4 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆892Updated this week
- DeBroglie is a C# library implementing the Wave Function Collapse algorithm with support for additional non-local constraints, and other …☆513Dec 21, 2025Updated 5 months ago
- Fast Delaunay triangulation of 2D points implemented in C#.☆492Feb 10, 2025Updated last year
- Official Implementation for "ReStyle: A Residual-Based StyleGAN Encoder via Iterative Refinement" (ICCV 2021) https://arxiv.org/abs/2104.…☆1,048Oct 1, 2022Updated 3 years ago