Alternatives and similar repositories for lr:

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

• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 5 months ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆72Updated this week
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆27Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 5 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 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 8 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated last year
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated last year
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆21Updated 8 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆67Updated 6 years ago
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 6 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• cverified / cbench
  A benchmark for C program verification
  ☆15Updated 11 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆19Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated 10 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month