IMCG / graph-theory-algorithms-bookLinks
https://code.google.com/p/graph-theory-algorithms-book/
☆21Updated 10 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:
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Proof and Code Presentation Framework☆23Updated 6 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- An editor for interactively building natural deduction proofs☆20Updated 7 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- My Agda experiments☆12Updated 6 years ago
- Category Theory in Agda☆13Updated 8 years ago
- Orchard Opetopic Proof Assistant☆29Updated 9 years ago
- prototyping logic programming in Scala☆42Updated 3 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- A small profunctor library for idris☆17Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 11 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- generative programming & verification☆34Updated 7 months ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Updated 8 years ago
- Haskell graph library☆10Updated 8 years ago
- Random notes on mathematics (in German)☆12Updated 2 months ago
- Coq course at Chalmers CSE☆38Updated 8 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Category theory in Coq, by Jason Gross☆16Updated 11 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 10 years ago
- A small bifunctor library for idris☆21Updated 5 years ago
- A talk on parametricity☆36Updated 2 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 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
- The MMT Language and System☆79Updated 5 months ago
- ☆10Updated 5 years ago