list-witnesses

Inductive dependently-typed witnesses for working with type-level lists. (by mstksg)

List-witnesses Alternatives

Similar projects and alternatives to list-witnesses

  1. agda2lagda

    Simple conversion from Agda text to literate Agda text.

  2. SaaSHub

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

    SaaSHub logo
  3. decidable

    Combinators for manipulating dependently-typed predicates.

  4. lens-typelevel

    Type-level lenses using singletons because why not

  5. instance-map

    Haskell dependent types the ugly and brute force way

  6. agda-unused

    Check for unused code in an Agda project.

  7. agda-snippets

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

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

list-witnesses discussion

Log in or Post with

list-witnesses reviews and mentions

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

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

Stats

Basic list-witnesses repo stats
0
1
0.0
over 2 years ago

mstksg/list-witnesses 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 list-witnesses is Haskell.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you know that Haskell is
the 30th most popular programming language
based on number of references?