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

• martinring / cobra
  Proof and Code Presentation Framework
  ☆22Updated 6 years ago
• Blaisorblade / Agda-playground
  My Agda experiments
  ☆12Updated 6 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 7 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 11 months ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 10 years ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 7 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• ericfinster / catt
  Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
  ☆15Updated 8 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• mikeshulman / dirtt
  Directed type theory for formal category theory
  ☆17Updated 8 years ago
• vlopezj / coq-course
  Coq course at Chalmers CSE
  ☆39Updated 8 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• Event-Structures / event-struct
  Mechanized Theory of Event Structures
  ☆16Updated 2 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆34Updated 8 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆104Updated this week