6 Bit Vectors packages and projects
-
sbv
9.6 6.1 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Promo
www.influxdata.com