Alternatives and similar repositories for database-stream-processor-compiler

Users that are interested in database-stream-processor-compiler are comparing it to the libraries listed below

• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆241Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• cr-org / supernova
  Apache Pulsar client for Haskell
  ☆38Updated 4 years ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆132Updated 3 weeks ago
• brurucy / materialized-view
  ☆18Updated 2 months ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆21Updated last month
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆30Updated 2 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆64Updated 3 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 3 weeks ago
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆31Updated last month
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆53Updated 5 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last month
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆58Updated 2 months ago
• DavidGregory084 / inc
  Experiments with incremental compiler construction on the JVM
  ☆11Updated 3 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆23Updated last year
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• alexarchambault / mill-native-image
  ☆22Updated this week
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• VirtusLab / coursier-m1
  A small repo to release coursier using self-hosted Mac M1 runner
  ☆11Updated 3 weeks ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 6 months ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆76Updated 6 months ago
• chitralverma / scala-polars
  Polars for Scala & Java projects!
  ☆89Updated last month
• Actyx / cambria
  ☆36Updated 3 years ago
• frankmcsherry / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆118Updated 2 weeks ago
• kcrypt / scala-biginteger
  BigInteger for scala with very fast modPow
  ☆10Updated 2 weeks ago
• makingthematrix / signals3
  A lightweight event streaming library for Scala 3
  ☆13Updated 2 weeks ago