https://github.com/hstreamdb/hstream
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
data-processing
database
distributed-database
distributed-systems
financial-analysis
haskell
hstreamdb
iot
iot-database
kafka
materialized-view
real-time
realtime-database
scale
sql
stream-processing
streaming
streaming-data
streaming-database
Added: over 1 year ago - Last Synced: 11 months ago
- Created: August 31, 2020
https://github.com/roapi/roapi
Create full-fledged APIs for slowly moving datasets without writing a single line of code.
analytics
arrow
blob-storage
cloud-native
columnar
datafusion
datasets
delta-lake
graphql
in-memory-database
parquet
query
query-frontends
rest-api
rust
s3
sql
static-datasets
Added: over 1 year ago - Last Synced: 11 months ago
- Created: December 11, 2020
https://github.com/querycert/qcert
Compilation and Verification of Data-Centric Languages
compiler
coq-proof-assistant
functional-programming
query-engine
query-language
sql
verification
verified-compiler
Added: over 1 year ago - Last Synced: 11 months ago
- Created: June 11, 2016
