agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. (by liamoc)
Review Data structures Dependent Types
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Agda-snippets Alternatives

Similar projects and alternatives to agda-snippets

liamoc
agda-snippets

  1. agda-unused

    0 agda-snippets VS agda-unused

    Check for unused code in an Agda project.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. helf

    0 agda-snippets VS helf

    Haskell implementation of the Edinburgh Logical Framework

  4. singletons

    2 agda-snippets VS singletons

    Fake dependent types in Haskell using singletons

  5. cubical

    0 agda-snippets VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  6. open-typerep

    1 agda-snippets VS open-typerep

    Open type representations and dynamic types

  7. agda2lagda

    0 agda-snippets VS agda2lagda

    Simple conversion from Agda text to literate Agda text.

  8. eliminators

    0 agda-snippets VS eliminators

    Dependently typed elimination functions using singletons

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  10. Sit

    0 agda-snippets VS Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  11. lens-typelevel

    0 agda-snippets VS lens-typelevel

    Type-level lenses using singletons because why not

  12. hoq

    0 agda-snippets VS hoq

    A language based on homotopy type theory with an interval

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better agda-snippets alternative or higher similarity.
Suggest an alternative to agda-snippets

agda-snippets discussion

Log in or Post with

agda-snippets reviews and mentions

Posts with mentions or reviews of agda-snippets. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning agda-snippets yet.
Tracking mentions began in Dec 2020.

Stats

Basic agda-snippets repo stats
0
11
0.0
over 7 years ago

liamoc/agda-snippets is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of agda-snippets is Haskell.

Popular Comparisons

  1. agda-snippets VS agda-unused
  2. agda-snippets VS helf
  3. agda-snippets VS singletons
  4. agda-snippets VS cubical
  5. agda-snippets VS open-typerep
  6. agda-snippets VS agda2lagda
  7. agda-snippets VS eliminators
  8. agda-snippets VS Sit
  9. agda-snippets VS lens-typelevel
  10. agda-snippets VS hoq

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
Loading...