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
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 3 weeks ago
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated last week
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 3 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆28Updated last week
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆54Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• etiams / lambdaspeed
  Computing 2^1000 in 7 seconds with semioptimal lambda calculus
  ☆24Updated this week
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 2 weeks ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated 2 weeks ago
• jkoppel / ecta
  ☆35Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year