jix / sortnetopt

Related projects ⓘ

Alternatives and complementary repositories for sortnetopt

• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• phate / jlm
  ☆51Updated 3 weeks ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 6 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆17Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆23Updated 9 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• smowton / llpe
  ☆49Updated 8 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last month
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆34Updated this week
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 5 months ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆16Updated 5 years ago
• geofflangdale / smh
  Shuffle-based predicate matcher and all-round branch free swiss army chainsaw
  ☆17Updated 6 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 5 months ago