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

• cr-org / supernova
  Apache Pulsar client for Haskell
  ☆38Updated 5 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 4 years ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆20Updated last week
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• alexarchambault / mill-native-image
  ☆23Updated last month
• rkuhn / acto
  Actor library for Rust
  ☆26Updated 3 months ago
• scala-native / scala-native-cli
  Command Line Interface for Scala Native
  ☆19Updated last week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆247Updated 2 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 4 years 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
  ☆14Updated this week
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆61Updated 9 months ago
• delftdata / styx
  Styx: Transactional Stateful Functions on Streaming Dataflows
  ☆38Updated last week
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆185Updated last week
• azolotko / sbt-jfr
  An sbt plugin to configure Java Flight Recorder
  ☆10Updated last year
• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated 11 months ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆37Updated 8 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 4 months ago
• sideeffffect / scala-rust-interop
  ☆35Updated last week
• davenverse / probabilistic
  Probabilistic Data Structures
  ☆15Updated last year
• earldouglas / linear-scala
  Linear types in Scala
  ☆46Updated 2 weeks ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆57Updated 11 months ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆28Updated 2 years ago
• DavidGregory084 / inc
  Experiments with incremental compiler construction on the JVM
  ☆13Updated 3 years ago
• kcrypt / scala-biginteger
  BigInteger for scala with very fast modPow
  ☆10Updated last week
• durban / choam
  Experiments with composable lock-free concurrency
  ☆22Updated this week
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last week
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 8 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆49Updated 4 years ago
• ekrich / sjavatime
  Implementation of java.time for Scala.js and Scala Native
  ☆16Updated 2 weeks ago