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
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆61Updated this week
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 2 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆73Updated 2 months ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 weeks ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• ssm-lang / sslang
  A language built atop the Sparse Synchronous Model
  ☆18Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated last week
• jkoppel / ecta
  ☆34Updated 11 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years 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
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆42Updated 9 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 2 months ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• naalit / durin
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆13Updated 3 years ago