8 Dependent Types packages and projects
-
agda-snippets-hakyll
4.4 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
list-witnesses
2.8 0.0 HaskellInductive dependently-typed witnesses for working with type-level lists.
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