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
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated last month
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆74Updated 10 months ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆56Updated 4 months ago
• leanprover / tutorial
  Lean Tutorials
  ☆44Updated 4 years ago
• clayrat / sequent-calc-talk
  Code for the "Logic, machines and sequent calculus" talk
  ☆31Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 weeks ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 3 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• Blaisorblade / Agda-playground
  My Agda experiments
  ☆12Updated 5 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 7 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• mikeshulman / dirtt
  Directed type theory for formal category theory
  ☆17Updated 8 years ago