list-witnesses alternatives and similar packages

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

decidable

6.7 5.2 list-witnesses VS decidable

Combinators for manipulating dependently-typed predicates.
lens-typelevel

5.9 0.0 list-witnesses VS lens-typelevel

Type-level lenses using singletons because why not

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com

agda2lagda

5.0 4.5 list-witnesses VS agda2lagda

Simple conversion from Agda text to literate Agda text.
agda-snippets-hakyll

4.4 0.0 list-witnesses VS agda-snippets-hakyll

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

3.6 0.0 list-witnesses VS instance-map

Haskell dependent types the ugly and brute force way
agda-unused

3.4 5.5 list-witnesses VS agda-unused

Check for unused code in an Agda project.
ral-optics

- - list-witnesses VS ral-optics

Length-indexed random access lists

Do you think we are missing an alternative of list-witnesses or a related project?

Add another 'Dependent Types' Package

README

[list-witnesses][docs]

Collection of assorted inductive witnesses and functions for working with type-level lists.

Data.Type.List.Edit contains single-item edits of lists, including insertion, deletion, and substitution.
Data.Type.List.Sublist contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.

list-witnesses

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

list-witnesses alternatives and similar packages

README

[list-witnesses][docs]