Alternatives and similar repositories for Dynamic-Graph-Algorithms

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

• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 7 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• jtristan / stump-learnable
  ☆16Updated 5 years ago
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆19Updated 8 years ago
• blanchette / logical_verification_2021
  ☆25Updated 4 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated 3 weeks ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• rocqetry / rocqet
  Rocqet proof language
  ☆28Updated 5 months ago
• dunnl / tealeaves
  A Coq library for abstract syntactical reasoning
  ☆24Updated 9 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆92Updated 5 months ago
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 7 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆57Updated last week
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• oOo0oOo / leanclient
  Python client to interact with the lean4 language server.
  ☆39Updated 3 weeks ago
• awodey / math
  Mathematical notes and papers
  ☆27Updated 2 weeks ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• 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
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆21Updated last year
• calfproject / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆74Updated 3 months ago
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆26Updated 3 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆30Updated 4 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated 5 months ago
• kino3 / Mini-TT
  mirror of A simple type-theoretic language: Mini-TT
  ☆41Updated 8 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year