8 Dependent Types packages and projects
-
agda-snippets-hakyll
3.8 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.6 0.0 HaskellInductive dependently-typed witnesses for working with type-level lists.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com