IMCG / graph-theory-algorithms-book
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
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated last year
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Luck -- A Language for Property-Based Generators☆34Updated last month
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- The Universal Algebra Calculator☆14Updated 2 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- generative programming & verification☆33Updated 3 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- ☆19Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- ☆23Updated 11 years ago
- Cohesive type theory☆19Updated 3 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Category Theory in Agda☆13Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago
- Core components for the Scribble Java tools☆56Updated 6 months ago
- ☆10Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated last year