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"
  ☆19Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆51Updated this week
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 7 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated last month
• phate / jlm
  ☆57Updated this week
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆39Updated 6 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 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
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆66Updated this week
• ssm-lang / sslang
  A language built atop the Sparse Synchronous Model
  ☆18Updated last year
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated last month
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆51Updated 2 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 7 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆55Updated 8 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆61Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆65Updated this week
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated 2 weeks ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated this week