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:
- My Agda experiments☆12Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 8 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- Cohesive type theory☆19Updated 3 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- The MMT Language and System☆75Updated last year
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Updated 8 years ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- Web based opetopic editor☆35Updated 9 months ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- ☆12Updated 6 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- GAPT: General Architecture for Proof Theory☆101Updated this week
- prototyping logic programming in Scala☆41Updated 3 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 10 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 2 years ago
- Coq course at Chalmers CSE☆39Updated 8 years ago
- ☆44Updated 2 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 5 months ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- Domain theory and denotational semantics in Coq☆10Updated 10 years ago
- Ring solver for Idris☆20Updated 6 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago
- generative programming & verification☆33Updated last month
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- A small profunctor library for idris☆17Updated 2 years ago