Alternatives and similar repositories for edulint:

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

• 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 last year
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 6 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last month
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated last week
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆14Updated 11 months ago
• ORNL / curifactory
  An experiment workflow and organization tool.
  ☆18Updated 4 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆19Updated 3 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• alhassy / CoqCheatSheet
  Reference sheet for the Coq language.
  ☆15Updated 4 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• jozefg / undergraduate-thesis
  A discouraging story.
  ☆15Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• 01mf02 / kontroli-rs
  Alternative implementation of the logical framework Dedukti in Rust
  ☆21Updated 3 months ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• bedrocksystems / coq-lens
  Lenses in Coq
  ☆16Updated 2 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year