agda2lagda alternatives and similar packages

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

decidable

6.5 5.1 agda2lagda VS decidable

Combinators for manipulating dependently-typed predicates.
lens-typelevel

5.8 0.0 agda2lagda VS lens-typelevel

Type-level lenses using singletons because why not

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.

Promo www.influxdata.com

agda-snippets-hakyll

4.8 0.0 agda2lagda 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.4 0.0 agda2lagda VS instance-map

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

3.2 5.5 agda2lagda VS agda-unused

Check for unused code in an Agda project.
list-witnesses

2.5 0.0 agda2lagda VS list-witnesses

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

- - agda2lagda VS ral-optics

DISCONTINUED. Length-indexed random access lists