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:
- Walk inside curved spaces☆14Updated 2 years ago
- Scalable computer implemented in the game of life.☆130Updated 3 years ago
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- ☆139Updated 3 years ago
- A 2-D programming language inspired by Hexagony☆25Updated 3 weeks ago
- ☆344Updated last month
- Search for the K12 neighborly polyhedron.☆114Updated 10 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- SFLK programing language reference interpreter☆12Updated 2 years ago
- Simple expression transformer that is not Coq.☆263Updated last year
- ☆38Updated 3 years ago
- Implementations of the Knight programming language☆22Updated 4 years ago
- Modified CUDA sample code to simulate a basic N-body problem for Janus Cosmological Model (JCM)☆25Updated 6 years ago
- A small macro language for producing and manipulating strings.☆70Updated 3 years ago
- Computing Fibonacci numbers efficiently, for real this time.☆95Updated 6 months ago
- Minecraft clone in haskell focussed on performance.☆26Updated last year
- Real-time hyperbolic space ray tracer☆18Updated 2 years ago
- Image-based poetic programming language.☆144Updated last year
- A basic programming language. The compiler is written in rust using LLVM as it's backend.☆14Updated last month
- metamath proof enumerators and other things☆91Updated last week
- A probabilistic programming language based on pattern-rewriting☆85Updated last year
- Fractran interpreter in Fractran☆35Updated 10 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- A constructive proof assistant for second order logic.☆35Updated last year
- 🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.☆447Updated this week
- Scriptable pattern editor and viewer for many families of cellular automata☆30Updated this week
- The Curly programming language (now in Rust!)☆30Updated 4 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 9 months ago
- The single instruction language - Flip a bit, then Jump☆130Updated 9 months ago
- A graphical shape based esolang☆34Updated 2 years ago