Alternatives and similar repositories for SeqDecProbs

Users that are interested in SeqDecProbs are comparing it to the libraries listed below

• Saizan / cubical-demo
  ☆45Updated 6 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆56Updated 8 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 3 years ago
• OPLSS / oplss-notes-2017
  handouts and notes from the 2017 edition of the summer school
  ☆39Updated 8 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 10 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 4 months ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 7 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆35Updated 7 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 7 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆113Updated 2 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆25Updated 14 years ago
• gallais / aGdaREP
  Implementing grep in Agda
  ☆33Updated 4 years ago
• pbl64k / gpif-idris
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Updated 8 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆125Updated last year
• pigworker / Pivotal
  ☆31Updated 11 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago