athas / raytracingthenextweekinfuthark
A Futhark implementation of Ray Tracing: the Next Week
☆14Updated last year
Related projects: ⓘ
- Ray Tracing in One Weekend in Futhark☆18Updated 3 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- Reversible programming language☆12Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆28Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆15Updated 2 weeks ago
- Library for writing interactive and visual Futhark programs☆22Updated 3 months ago
- The web framework nobody asked for, wants, or needs.☆20Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆34Updated 7 years ago
- The AlteRnaTive Impala Compiler☆25Updated 2 weeks ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆33Updated 4 months ago
- a steady descent into madness☆16Updated last week
- Abusing the C99 preprocessor for meta-programming☆20Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆12Updated 3 months ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- The Higher ORder INtermediate representation - next gen☆46Updated 4 months ago
- Portable high-level assembler with authentic C syntax☆22Updated 2 years ago
- ☆21Updated this week
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated last year
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Rutgers APL correctly rounded math library☆28Updated 3 years ago
- A Gallina compiler with C++17 as an intermediate representation☆41Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated 10 months ago