agda-unused

Check for unused code in an Agda project. (by msuperdock)
Review Dependent Types Agda
Source Code
hackage.haskell.org
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Agda-unused Alternatives

Similar projects and alternatives to agda-unused

msuperdock
agda-unused

  1. decidable

    0 agda-unused VS decidable

    Combinators for manipulating dependently-typed predicates.

  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. agda-snippets

    0 agda-unused VS agda-snippets

    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  4. cornelis

    2 agda-unused VS cornelis

    agda-mode for neovim

  5. agda2lagda

    0 agda-unused VS agda2lagda

    Simple conversion from Agda text to literate Agda text.

  6. list-witnesses

    0 agda-unused VS list-witnesses

    Inductive dependently-typed witnesses for working with type-level lists.

  7. lens-typelevel

    0 agda-unused VS lens-typelevel

    Type-level lenses using singletons because why not

  8. instance-map

    0 agda-unused VS instance-map

    Haskell dependent types the ugly and brute force way

  9. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo

  10. Agda

    27 agda-unused VS Agda

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

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-unused alternative or higher similarity.
Suggest an alternative to agda-unused

agda-unused discussion

Log in or Post with

agda-unused reviews and mentions

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

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

Stats

Basic agda-unused repo stats
0
9
5.5
about 2 years ago

msuperdock/agda-unused is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of agda-unused is Haskell.

Popular Comparisons

  1. agda-unused VS decidable
  2. agda-unused VS agda-snippets
  3. agda-unused VS cornelis
  4. agda-unused VS agda2lagda
  5. agda-unused VS list-witnesses
  6. agda-unused VS lens-typelevel
  7. agda-unused VS instance-map
  8. agda-unused VS Agda

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...