nooberfsh / prusto

Related projects ⓘ

Alternatives and complementary repositories for prusto

• apache / avro-rs
  Rust SDK for Apache Avro - a data serialization system.
  ☆23Updated this week
• substrait-io / substrait-rs
  Rust crate for Substrait: Cross-Language Serialization for Relational Algebra
  ☆58Updated this week
• datafusion-contrib / datafusion-orc
  Implementation of Apache ORC file format use Apache Arrow in-memory format
  ☆43Updated 3 weeks ago
• tychedelia / kafka-protocol-rs
  Rust Kafka protocol
  ☆61Updated last month
• grafana / grafana-plugin-sdk-rust
  Grafana Plugin SDK for Rust
  ☆60Updated 2 weeks ago
• arrow-udf / arrow-udf
  A User-Defined Function Framework for Apache Arrow.
  ☆77Updated this week
• infinyon / fluvio-duck
  Fluvio DuckDB Integration
  ☆19Updated last year
• uwheel / datafusion-uwheel
  µWheel DataFusion Optimizer for speeding up time-based analytics
  ☆26Updated 2 months ago
• Jet-Engine / callysto
  Stream processing & Service framework.
  ☆143Updated 6 months ago
• returnString / convergence
  A set of tools for writing servers that speak PostgreSQL's wire protocol
  ☆88Updated 3 months ago
• Xuanwo / serfig
  Layered configuration system built upon serde
  ☆31Updated last year
• sphenlee / waterwheel
  A workflow scheduler based on petri-nets
  ☆68Updated last month
• datafusion-contrib / datafusion-streams
  ☆21Updated 2 years ago
• icelake-io / icelake
  Pure Rust Iceberg Implementation
  ☆166Updated 3 months ago
• kube-rs / version-rs
  Example kubernetes reflector and web server with axum
  ☆48Updated last week
• Xuanwo / hdrs
  HDFS Native Client in Rust via HDFS C API libhdfs
  ☆34Updated last week
• EtaCassiopeia / gmf
  Glommio Messaging Framework (GMF) is a high-performance RPC system designed to work with the Glommio framework.
  ☆51Updated last year
• seliumlabs / selium
  An extremely dev-friendly, composable messaging platform
  ☆56Updated 3 months ago
• surrealdb / vart
  A timed adaptive radix trie data-structure, used in SurrealKV
  ☆89Updated this week
• jorgecarleitao / json-deserializer
  ☆30Updated 3 months ago
• datafusion-contrib / datafusion-federation
  Allow DataFusion to resolve queries across remote query engines while pushing down as much compute as possible down.
  ☆77Updated this week
• uwheel / uwheel
  Embeddable Aggregate Management System for Streams and Queries.
  ☆83Updated 2 weeks ago
• pacman82 / arrow-odbc
  Fill Apache Arrow record batches from an ODBC data source in Rust.
  ☆51Updated 2 weeks ago
• DataEngineeringLabs / orc-format
  Rust lib to read from Apache ORC
  ☆18Updated last year
• datafusion-contrib / datafusion-dft
  An opinionated and batteries included DataFusion implementation.
  ☆114Updated this week
• cloudfuse-io / cloud-readers-rs
  Rust cloud object storage tools
  ☆11Updated 3 years ago
• tikv / mur3
  Rust implementation of MurmurHash3.
  ☆11Updated 2 years ago
• databendlabs / jsonb
  JSONB implement in rust
  ☆67Updated this week
• spiraldb / fsst
  Pure-Rust implementation of Fast Static Symbol Tables string compression
  ☆100Updated this week