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
Sorting:
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated 11 months ago
- computable implementation of real numbers in Lean4☆45Jul 6, 2025Updated 7 months ago
- Research and explorations for an interactive debugger for Jupyter☆41Dec 10, 2019Updated 6 years ago
- A converter and basic tester for rwkv onnx☆43Jan 29, 2024Updated 2 years ago
- Code for "Deep Convolutional Networks as shallow Gaussian Processes"☆39Jun 21, 2019Updated 6 years ago
- A virtual optogenetics laboratory☆40Jul 24, 2023Updated 2 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆65Jan 2, 2024Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- Probabilistic question-asking system: the program asks, the users answer. The minimal goal of the program is to identify what the user ne…☆73Sep 5, 2022Updated 3 years ago
- Enhanced UE4 output log widget☆88Dec 5, 2021Updated 4 years ago
- Mathlib search tool☆123Feb 26, 2026Updated last week
- Document Generator for Lean 4☆130Feb 25, 2026Updated last week
- source code for math gifs posted to twitter☆128Aug 12, 2020Updated 5 years ago
- A list of community resources for Slate, Graphs, and UE4 Plugin Development.☆188Nov 18, 2021Updated 4 years ago
- 🎄 Virtual DOM for Python☆225Mar 25, 2023Updated 2 years ago
- A dynamic cover point generator plugin for Unreal Engine 4.☆255Jan 4, 2023Updated 3 years ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆251Aug 26, 2020Updated 5 years ago
- White-box automation for Lean 4☆342Updated this week
- A community-developed version of the original Marble Marcher - a fractal physics game.☆282Oct 11, 2025Updated 4 months ago
- 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 "batteries included" extended library for the Lean programming language and theorem prover☆361Updated this week
- Virtual Motion Tracker - バーチャルモーショントラッカー OpenVR OSC Tracker Driver for DIY users☆350Jul 9, 2024Updated last year
- RuntimeMeshLoader for UE4☆363Apr 18, 2024Updated last year
- Official implementation of Implicit Behavioral Cloning, as described in our CoRL 2021 paper, see more at https://implicitbc.github.io/☆375Jan 25, 2024Updated 2 years ago
- cuCIM - RAPIDS GPU-accelerated image processing library☆447Feb 26, 2026Updated last week
- Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export …☆1,041Jan 22, 2026Updated last month
- VMCProtocol Receiver asset for Unity. Easy to use! / バーチャルモーションキャプチャーなどVMCProtocolを受信してUnityに反映するスクリプトです。☆443Aug 17, 2024Updated last year
- An open source framework to add the effects of traveling at relativistic speeds to visualizations or games☆760May 2, 2024Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆822Feb 26, 2026Updated last week
- Supplementary Materials for Tshitoyan et al. "Unsupervised word embeddings capture latent knowledge from materials science literature", N…☆634May 6, 2023Updated 2 years ago
- An experimental compiler for compiling C# to Udon assembly☆739Sep 27, 2025Updated 5 months ago
- Long Range Arena for Benchmarking Efficient Transformers☆781Dec 16, 2023Updated 2 years ago
- VRゲーム中にモデルをコントロール☆807Nov 5, 2025Updated 4 months ago
- Cross-platform open-source command-line cubemap filtering tool.☆859Jan 6, 2021Updated 5 years ago
- The Observable standard library.☆994Jun 22, 2025Updated 8 months ago
- A deeply-integrated C++20 coroutine plugin for Unreal Engine 5.☆1,015Feb 14, 2026Updated 2 weeks ago
- JavaScript Sequence Editor☆1,151Sep 18, 2025Updated 5 months ago
- GLSL Fractal Ray Marcher in Python☆1,180Mar 14, 2021Updated 4 years ago
- Official implementation of VQ-Diffusion☆978Apr 17, 2024Updated last year