9 Dependent Types packages and projects
-
Agda
10.0 9.9 HaskellAgda is a dependently typed programming language / interactive theorem prover. -
agda-snippets
4.6 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
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
