Render just the Agda snippets of a literate Agda file to HTML

agda-snippets alternatives and similar packages

Based on the "Dependent Types" category

• Agda

  9.9 9.8 agda-snippets VS Agda

  A dependently typed functional programming language and proof assistant

• singletons

  9.6 7.3 agda-snippets VS singletons

  A framework for generating singleton types

• cubical

  9.4 0.0 agda-snippets VS cubical

  Implementation of Univalence in Cubical Sets

• hoq

  8.8 0.0 agda-snippets VS hoq

  A language based on homotopy type theory with an interval type

• eliminators

  6.8 5.4 agda-snippets VS eliminators

  Dependently typed elimination functions using singletons

• helf

  6.1 1.2 agda-snippets VS helf

  Typechecking terms of the Edinburgh Logical Framework (LF).

• open-typerep

  4.8 0.0 agda-snippets VS open-typerep

  Open type representations and dynamic types

• Sit

  3.2 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?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• Sit
  vs
  hoq

SaaSHub - Software Alternatives and Reviews More from our team