cucapra / braid
a multi-stage heterogeneous programming language applied to real-time 3D graphics
☆24Updated 6 years ago
Alternatives and similar repositories for braid:
Users that are interested in braid are comparing it to the libraries listed below
- The Kraken Programming Language☆47Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 2 months ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- ☆48Updated 6 months ago
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆47Updated last year
- ☆22Updated 2 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- A high-level programming language☆39Updated 3 months ago
- ☆19Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Memory Management ToolKit☆35Updated last week
- Composable autodiff for the interactive web.☆25Updated 7 months ago
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆22Updated 8 months ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Reversible programming language☆12Updated 5 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated last year
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Synless is a language-agnostic tree editor.☆21Updated last month
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago