Alternatives and similar repositories for coq-cds4ltl:

Users that are interested in coq-cds4ltl are comparing it to the libraries listed below

• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 6 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 2 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 4 years ago
• laMudri / quantitative
  ☆16Updated 3 years ago
• ekmett / name
  nominal sets in haskell
  ☆19Updated 6 years ago
• phadej / bound-extras
  ScopeT and ScopeH
  ☆13Updated 7 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 months ago
• phadej / acme-kmett
  A collection of Edward Kmett's packages in a single repository
  ☆16Updated 3 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 6 years ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated 2 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• knupfer / physics
  Physical dimensions and operations
  ☆9Updated 6 years ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 7 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆26Updated last year
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• Lysxia / quickcheck-higherorder
  QuickCheck extension for higher-order properties
  ☆17Updated 3 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated last month
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago