Alternatives and similar repositories for misc-builder:

Users that are interested in misc-builder are comparing it to the libraries listed below

• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆29Updated this week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Sahnvour / zig-containers
  A container library for Zig.
  ☆14Updated 3 years ago
• vezel-dev / graf
  A graph-oriented intermediate representation, optimization framework, and machine code generator.
  ☆26Updated this week
• kubkon / syclld
  SYCL 2023 - linker workshop
  ☆11Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• BGR360 / propagate
  Error return tracing in Rust. Still WIP
  ☆11Updated 3 years ago
• compiler-explorer / tools
  Tools for Compiler Explorer
  ☆21Updated 2 years ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆26Updated this week
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated last month
• booniepepper / zig-data-structures
  ☆15Updated last year
• soil-vm / soil
  A byte code specification and a JIT-compiler written in Assembly.
  ☆12Updated 3 weeks ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 2 years ago
• rvcas / zata
  Common Data Structures and Algorithms for Learning Zig
  ☆24Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated last week
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated 10 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated last month
• pornin / cycle-counter
  ☆21Updated last month
• jart / matmul
  ☆18Updated 6 months ago
• IanBriggs / megalibm
  ☆16Updated last year
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆12Updated 9 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 3 months ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆27Updated 2 years ago