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

• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆144Updated this week
• brurucy / materialized-view
  ☆18Updated 5 months ago
• cr-org / supernova
  Apache Pulsar client for Haskell
  ☆38Updated 5 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆242Updated 2 years ago
• cppgres / cppgres
  Postgres extensions in C++
  ☆16Updated 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
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆37Updated 3 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆21Updated this week
• 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
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 4 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last month
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆76Updated 10 months ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 8 years ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆27Updated 4 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 3 weeks ago
• rkuhn / acto
  Actor library for Rust
  ☆26Updated last week
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆60Updated 6 months ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆56Updated 8 months ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• makingthematrix / signals3
  A lightweight event streaming library for Scala 3
  ☆13Updated 3 weeks ago
• otobrglez / dojodis
  High-performance Redis server implemented in Scala with ZIO.
  ☆27Updated 3 years ago
• MaterializeInc / tb
  Tail the Binlog of a database
  ☆15Updated 3 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆22Updated last month
• alexarchambault / mill-native-image
  ☆23Updated last month
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆48Updated 2 years ago
• azolotko / sbt-jfr
  An sbt plugin to configure Java Flight Recorder
  ☆10Updated last year