patowen / hyperworldLinks
A hyperbolic space renderer, hopefully able to be used as a game engine at some point
☆20Updated last year
Alternatives and similar repositories for hyperworld
Users that are interested in hyperworld are comparing it to the libraries listed below
Sorting:
- Scalable computer implemented in the game of life.☆137Updated 3 years ago
- A 2-D programming language inspired by Hexagony☆25Updated last week
- Walk inside curved spaces☆14Updated 3 years ago
- Modified CUDA sample code to simulate a basic N-body problem for Janus Cosmological Model (JCM)☆25Updated 6 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆72Updated 2 weeks ago
- Computing Fibonacci numbers efficiently, for real this time.☆102Updated 9 months ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆31Updated 2 years ago
- Minecraft clone in haskell focussed on performance.☆26Updated last year
- A graphical shape based esolang☆35Updated 3 years ago
- Real-time hyperbolic space ray tracer☆19Updated 2 years ago
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 5 months ago
- The Curly programming language (now in Rust!)☆31Updated 4 years ago
- 🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.☆498Updated this week
- scaffolding is a very pointless esolang. Don't try it.☆16Updated 5 years ago
- A DSL for creating 8-bit style music☆33Updated last year
- A constructive proof assistant for second order logic.☆36Updated last year
- Animations of lambda term reduction sequences☆159Updated 7 years ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- glyph-based language that transpiles to python (for now…)☆24Updated last week
- An esoteric programming language with just two data types: null and tape☆11Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆149Updated last year
- A small macro language for producing and manipulating strings.☆70Updated 3 years ago
- Implementations of the Knight programming language☆22Updated 4 years ago
- Simple expression transformer that is not Coq.☆263Updated 2 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Updated 3 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 3 years ago
- ☆38Updated 4 years ago