Alternatives and similar repositories for ProgramAnalysisGlossary:

Users that are interested in ProgramAnalysisGlossary are comparing it to the libraries listed below

• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated 2 weeks ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆42Updated 9 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆66Updated last week
• phate / jlm
  ☆60Updated this week
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated 2 weeks ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 3 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆58Updated 7 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 11 months ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 weeks ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 5 months ago