Alternatives and similar repositories for graph-theory-algorithms-book:

Users that are interested in graph-theory-algorithms-book are comparing it to the libraries listed below

• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• gstew5 / games
  ☆10Updated 5 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 4 months ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 4 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated last month
• rjolly / scas
  Scala Algebra System
  ☆16Updated last week
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• fieldstrength / xquant
  Dependently-typed structures for quantum physics in Idris
  ☆13Updated 9 years ago