IMCG / graph-theory-algorithms-book

Related projects: ⓘ

• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 5 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 4 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆33Updated 7 years ago
• RobertHarper / hott-materials
  ☆20Updated this week
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆31Updated 6 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 2 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆22Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆16Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 6 months ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 3 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆32Updated 11 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated 7 months ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆12Updated 6 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆55Updated 3 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 3 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago