Alternatives and similar repositories for prusto

Users that are interested in prusto are comparing it to the libraries listed below

• psila-ai / callysto
  Stream processing & Service framework.
  ☆159Updated last year
• datafusion-contrib / datafusion-orc
  Implementation of Apache ORC file format use Apache Arrow in-memory format
  ☆47Updated this week
• tychedelia / kafka-protocol-rs
  Rust Kafka protocol
  ☆106Updated this week
• datafusion-contrib / datafusion-postgres
  Postgres protocol frontend for DataFusion
  ☆111Updated last week
• apache / avro-rs
  Rust SDK for Apache Avro - a data serialization system.
  ☆88Updated last week
• apache / arrow-rs-object-store
  Rust object_store crate
  ☆169Updated this week
• grafana / grafana-plugin-sdk-rust
  Grafana Plugin SDK for Rust
  ☆70Updated this week
• substrait-io / substrait-rs
  Rust crate for Substrait: Cross-Language Serialization for Relational Algebra
  ☆82Updated last week
• returnString / convergence
  A set of tools for writing servers that speak PostgreSQL's wire protocol
  ☆93Updated last week
• Xuanwo / hdrs
  HDFS Native Client in Rust via HDFS C API libhdfs
  ☆40Updated 10 months ago
• sphenlee / waterwheel
  A workflow scheduler based on petri-nets
  ☆84Updated last week
• datafusion-contrib / datafusion-materialized-views
  Incremental view maintenance & query rewriting for materialized views in DataFusion
  ☆64Updated 2 weeks ago
• khonsulabs / okaywal
  A Write Ahead Log (WAL) implementation in Rust
  ☆232Updated 2 years ago
• datafusion-contrib / datafusion-functions-json
  JSON support for DataFusion (unofficial)
  ☆51Updated last week
• datafusion-contrib / datafusion-objectstore-s3
  S3 as an ObjectStore for DataFusion
  ☆66Updated 2 years ago
• influxdata / pbjson
  Auto-generate serde implementations for prost types
  ☆97Updated last week
• uwheel / uwheel
  Embeddable Aggregate Management System for Streams and Queries.
  ☆102Updated 3 weeks ago
• influxdata / rskafka
  A minimal Rust client for Apache Kafka
  ☆319Updated 2 weeks ago
• stackabletech / tokio-zookeeper
  ☆75Updated 2 weeks ago
• chdb-io / chdb-rust
  Rust FFI example binding for chDB, an embedded SQL Engine powered by ClickHouse
  ☆39Updated last month
• datafusion-contrib / datafusion-table-providers
  DataFusion TableProviders for reading data from other systems
  ☆160Updated this week
• databendlabs / opensrv
  opensrv for databend
  ☆70Updated 3 weeks ago
• gklijs / schema_registry_converter
  A crate to convert bytes to something more useable and the other way around in a way Compatible with the Confluent Schema Registry. Suppo…
  ☆112Updated 2 weeks ago
• datafusion-contrib / datafusion-dft
  Batteries included CLI, TUI, and server implementations for DataFusion.
  ☆180Updated 2 weeks ago
• datafusion-contrib / datafusion-streams
  ☆23Updated 3 years ago
• surrealdb / vart
  A timed adaptive radix trie data-structure, used in SurrealKV
  ☆111Updated 2 months ago
• EtaCassiopeia / gmf
  Glommio Messaging Framework (GMF) is a high-performance RPC system designed to work with the Glommio framework.
  ☆54Updated 2 years ago
• arindas / laminarmq
  A scalable, distributed message queue powered by a segmented, partitioned, replicated and immutable log.
  ☆67Updated last year
• spiraldb / fastlanes
  Rust implementation of the FastLanes compression library
  ☆147Updated last week
• foundationdb-rs / foundationdb-rs
  FoundationDB Rust client api
  ☆188Updated last week