Alternatives and similar repositories for misc-builder

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

• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 2 weeks ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last month
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 3 months ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated last week
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆19Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• kubkon / syclld
  SYCL 2023 - linker workshop
  ☆11Updated last year
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last week
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆52Updated last week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated this week
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 4 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆22Updated this week
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• IanBriggs / megalibm
  ☆16Updated last year