Alternatives and similar repositories for Dynamic-Graph-Algorithms

Users that are interested in Dynamic-Graph-Algorithms are comparing it to the libraries listed below

• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• vrahli / Velisarios
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆32Updated 6 years ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆17Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• dricketts / teaching-concurrency
  Specifications and safety proofs in different tools of a simple concurrent algorithm
  ☆24Updated 5 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆21Updated last year
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• jtristan / stump-learnable
  ☆16Updated 5 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆116Updated 10 months ago
• dunnl / tealeaves
  A Coq library for abstract syntactical reasoning
  ☆24Updated 9 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆16Updated last month
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 7 years ago
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated 5 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 5 months ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆48Updated 5 months ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆28Updated 2 years ago
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 4 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 5 years ago
• QinxiangCao / UnifySL
  ☆25Updated 6 years ago
• gio54321 / hoare-logic-prover
  Proof-of-concept formal verification using Hoare logic
  ☆21Updated 5 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• thery / grobner
  A fornalisation of Grobner basis in ssreflect
  ☆12Updated last week
• aslanix / SmallStepNI
  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
  ☆20Updated 5 years ago
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• columbia / osdi23-paper114-ae
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
  ☆16Updated last year
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆24Updated 3 years ago