Hyperbolic VR
☆156Dec 3, 2017Updated 8 years ago
Alternatives and similar repositories for hypVR
Users that are interested in hypVR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hyperbolic VR using Raymarching☆106Mar 8, 2019Updated 7 years ago
- Distributable shell scripts with dependencies☆11Dec 24, 2016Updated 9 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Nov 11, 2021Updated 4 years ago
- floating sky islands for webVR☆30Feb 3, 2018Updated 8 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.
- 4D hypercube for Vive☆116Jan 31, 2018Updated 8 years ago
- Editing spherical images/video using Möbius transformations☆145Apr 22, 2016Updated 10 years ago
- Unity sample project to draw KinectV2 depth sensor values into G-Buffer directly.☆17Jul 25, 2016Updated 9 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆10Jan 11, 2015Updated 11 years ago
- The Non-Euclidean Unity Backend for Hyperbolica☆296Mar 25, 2022Updated 4 years ago
- hopefully a simple vive-compatible webVR thing will live here once I make it.☆17Oct 26, 2015Updated 10 years ago
- ☆13Aug 29, 2025Updated 10 months ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 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.
- ☆15Oct 21, 2020Updated 5 years ago
- WebGL Electric Sheep Renderer☆24Aug 4, 2017Updated 8 years ago
- Multi-platform web experiment (WebGL, WebRTC, HTML5) to generate Mondrian-esque world to take snapshots from☆20Sep 23, 2016Updated 9 years ago
- ☆15Jun 27, 2026Updated last week
- ☆25May 23, 2022Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆24May 31, 2023Updated 3 years ago
- Unified development of 3D models, apps and games.☆30Jul 5, 2017Updated 9 years ago
- Parse, Analyse, Clean GLSL code in JS☆13Sep 27, 2015Updated 10 years ago
- Exploratory new work on a Haskell Lisp☆17Jul 8, 2016Updated 9 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.
- LaTeX version of Grothendieck's Pursuing Stacks☆54Oct 20, 2021Updated 4 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆31Aug 16, 2013Updated 12 years ago
- ☆15Dec 9, 2020Updated 5 years ago
- Study of differential geometry with Rust + WebGL☆16Jul 18, 2023Updated 2 years ago
- An app to design and generate paper sliceform artwork.☆16Jun 13, 2017Updated 9 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- Use Vive controllers in WebVR with a semantic event based api☆17Apr 16, 2018Updated 8 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- multimodal probabilistic autoregressive models☆19Oct 31, 2023Updated 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.
- Display Gorilla repl on IPFS☆16Dec 16, 2015Updated 10 years ago
- ☆25Jun 20, 2022Updated 4 years ago
- A Non-Euclidean Rendering Engine for 3D scenes.☆6,431Nov 14, 2023Updated 2 years ago
- CLI Tool for managing metadata using the KHR_XMP extension in glTF files.☆20Feb 1, 2024Updated 2 years ago
- ☆14Jul 5, 2017Updated 9 years ago
- CocoaFlow engine for flow-based programming on Mac and iOS.☆16Sep 15, 2015Updated 10 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 3 years ago