Alternatives and similar repositories for braid:

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

• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 8 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆32Updated last week
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated 11 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 4 years ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆40Updated 5 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• athas / raytracingthenextweekinfuthark
  A Futhark implementation of Ray Tracing: the Next Week
  ☆13Updated last year
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• cucapra / gator
  Geometry types
  ☆28Updated 4 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated last year
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 7 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 3 months ago