IanBriggs / megalibm

Related projects: ⓘ

• herbie-fp / odyssey
  A platform for exploring floating-point expressions
  ☆16Updated last week
• AnyDSL / thorin2
  The Higher ORder INtermediate representation - next gen
  ☆46Updated 4 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆71Updated 2 months ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆108Updated 9 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆53Updated last year
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆42Updated last year
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• phate / jlm
  ☆49Updated this week
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆42Updated this week
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆33Updated 4 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆60Updated this week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆63Updated last month
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated 10 months ago
• bollu / linker-koans
  Snippets that explore how linkers work, one flag at a time.
  ☆11Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆47Updated 2 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆49Updated this week
• jmpnz / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆23Updated 8 months ago
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆19Updated last month
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆69Updated 3 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆65Updated 2 months ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 2 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆157Updated last month
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆27Updated 3 weeks ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆34Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated last week