Alternatives and similar repositories for edulint

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

• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• Inaxo / MathLib
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Updated 2 years ago
• llnl / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 5 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• GaloisInc / FAW
  Galois Format Analysis Workbench
  ☆22Updated 2 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 5 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆40Updated 4 months ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• GaloisInc / dismantle
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Updated 5 months ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆20Updated 4 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• Event-Structures / event-struct
  Mechanized Theory of Event Structures
  ☆16Updated 2 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆24Updated 5 months ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 6 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated this week
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆29Updated 3 months ago
• alhassy / CoqCheatSheet
  Reference sheet for the Coq language.
  ☆15Updated 5 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year