clflushopt / coldbrew

Related projects ⓘ

Alternatives and complementary repositories for coldbrew

• sampsyo / flatcalc
  world's worst interpreter
  ☆48Updated 4 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last month
• phate / jlm
  ☆51Updated 3 weeks ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆38Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆23Updated 9 months ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆46Updated last year
• rusini / manool-2
  Compiler Optimizations Playground
  ☆27Updated 3 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 weeks ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated last week
• mcy / alkyne
  ☆22Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆77Updated 9 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆54Updated last year
• ndmitchell / interpret
  ☆39Updated 3 years ago
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆65Updated this week
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 7 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆66Updated 4 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 3 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆83Updated 2 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆38Updated last month
• cfallin / waffle
  ☆59Updated 2 months ago
• egraphs-good / eggcc
  ☆50Updated this week
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 2 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month