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:
- generative programming & verification☆33Updated 2 months ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- My Agda experiments☆12Updated 5 years ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- A simple development of linear logic in Coq.☆13Updated 5 months ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- GAPT: General Architecture for Proof Theory☆101Updated last week
- Luck -- A Language for Property-Based Generators☆35Updated 6 months ago
- Category Theory in Agda☆13Updated 7 years ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 8 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated 2 years ago
- Ring solver for Idris☆20Updated 6 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Cohesive type theory☆19Updated 3 years ago
- Random notes on mathematics (in German)☆11Updated 3 weeks ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 3 years ago
- A talk on parametricity☆36Updated 2 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 5 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- ☆23Updated 11 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 months ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago