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 2 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated 2 months ago
• maxdan94 / kClist
  Algorithms to list k-cliques in real-world graphs
  ☆25Updated 3 years ago
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 6 years ago
• emc2314 / Graph500
  Optimizations on Graph500
  ☆10Updated 8 years ago
• Shlw / Books-and-Exercises
  Book reading
  ☆14Updated 4 years ago
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆22Updated 7 months ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆72Updated last week
• ParAlg / gbbs
  GBBS: Graph Based Benchmark Suite
  ☆201Updated 2 months ago
• tchajed / coq-tla
  ☆26Updated 11 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 3 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• tomtseng / dynamic-connectivity-hdt
  Dynamic connectivity data structure by Holm, de Lichtenberg, and Thorup
  ☆18Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• cmuparlay / pbbsbench
  New version of pbbs benchmarks
  ☆84Updated 7 months ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆46Updated 6 years ago
• baco-authors / baco
  ☆16Updated last year
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated last year
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• fredfeng / CS190I
  Program Synthesis
  ☆12Updated 3 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆61Updated 3 weeks ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• opencompl / egg-tactic-code
  ☆14Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago