Alternatives and similar repositories for hyperworld

Users that are interested in hyperworld are comparing it to the libraries listed below

• thedeemon / curved
  Walk inside curved spaces
  ☆14Updated 2 years ago
• agerasev / hypertrace
  Real-time hyperbolic space ray tracer
  ☆18Updated last year
• francisseco / Janus-CUDA-Nbody
  Modified CUDA sample code to simulate a basic N-body problem for Janus Cosmological Model (JCM)
  ☆25Updated 6 years ago
• noughtmare / hypercube
  Minecraft clone in haskell focussed on performance.
  ☆22Updated 11 months ago
• Ralith / hypermine
  A hyperbolic voxel game
  ☆164Updated last month
• 2swap / swaptube
  youtube video renderer
  ☆179Updated this week
• optozorax / portal
  🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.
  ☆400Updated this week
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated 2 weeks ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆131Updated 6 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 7 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆55Updated 5 months ago
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• ajeetdsouza / pifs
  The compile-time, data-free filesystem.
  ☆165Updated 7 months ago
• thegraycuber / thegraycuber.github.io
  ☆25Updated this week
• chrjen / vcbb
  Virtual Circuit Board blueprint tool
  ☆11Updated 2 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆97Updated this week
• Lehnart / alife
  A project to share on artificial life(Alife in short). It is essentially cellular automata but you could find also L-systems, swarm intel…
  ☆32Updated 2 years ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆22Updated last month
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated last month
• kspalaiologos / asmbf
  The only true brainfuck-targetting assembler.
  ☆115Updated 2 years ago
• HackerPoet / HyperEngine
  The Non-Euclidean Unity Backend for Hyperbolica
  ☆277Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated last month
• vihdzp / miratope-rs
  A tool for building and visualizing polytopes.
  ☆61Updated 2 months ago
• HackerPoet / Engine4D
  A Unity toolkit for making 4D games
  ☆195Updated 9 months ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• uwutech / Kind
  A modern proof language
  ☆8Updated 4 years ago
• mtwoodard / hypVR-Ray
  Hyperbolic VR using Raymarching
  ☆105Updated 6 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• Slackermanz / VulkanAutomata
  Cellular Automata GPU Renderer using the Vulkan API
  ☆373Updated 3 weeks ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated last month