IMCG / graph-theory-algorithms-bookLinks
https://code.google.com/p/graph-theory-algorithms-book/
☆20Updated 9 years ago
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
Sorting:
- ☆23Updated 11 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Sireum v3☆10Updated last year
- A scrapbook for Haskell developers☆16Updated 14 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- The MMT Language and System☆75Updated 11 months ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- generative programming & verification☆33Updated 3 weeks ago
- Random notes on mathematics (in German)☆11Updated 2 months ago
- A streaming cross-cat inference engine☆49Updated 10 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- ☆19Updated 8 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- Cohesive type theory☆19Updated 3 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- prototyping logic programming in Scala☆41Updated 3 years ago
- Lean Tutorials☆46Updated 4 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- GAPT: General Architecture for Proof Theory☆100Updated this week
- Loopless Functional Algorithms (Haskell)☆15Updated last year
- The Aldor Programming Language☆34Updated 5 months ago