agda-snippets alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.

• Agda

  10.0 9.7 agda-snippets VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.
  

• singletons

  9.7 4.9 agda-snippets VS singletons

  Fake dependent types in Haskell using singletons

Scout APM: A developer's best friend. Try free for 14-days

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promo scoutapm.com



• cubical

  9.4 0.0 agda-snippets VS cubical

  Implementation of Univalence in Cubical Sets

• hoq

  9.0 0.0 agda-snippets VS hoq

  A language based on homotopy type theory with an interval

• helf

  7.3 4.2 agda-snippets VS helf

  Haskell implementation of the Edinburgh Logical Framework

• eliminators

  7.3 0.0 agda-snippets VS eliminators

  Dependently typed elimination functions using singletons

• open-typerep

  4.6 0.0 agda-snippets VS open-typerep

  Open type representations and dynamic types

• Sit

  3.5 0.0 agda-snippets VS Sit

  Prototypical type checker for Type Theory with Sized Natural Numbers

Do you think we are missing an alternative of agda-snippets or a related project?

Run Linux Software Faster and Safer than Linux with Unikernels sponsored github.com/nanovms

Popular Comparisons

• hoq
  vs
  Sit
• Agda
  vs
  HoleyMonoid
• singletons
  vs
  containers

SaaSHub - Software Alternatives and Reviews sponsored www.saashub.com