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

• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• elbrujohalcon / hPage
  A scrapbook for Haskell developers
  ☆16Updated 14 years ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 weeks ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆11Updated 2 months ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 10 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 6 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆22Updated 6 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 4 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆100Updated this week
• snape / Loopless-Functional-Algorithms
  Loopless Functional Algorithms (Haskell)
  ☆15Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago