aherlihy / caracLinks
A Datalog execution engine for Scala
☆13Updated 2 months ago
Alternatives and similar repositories for carac
Users that are interested in carac are comparing it to the libraries listed below
Sorting:
- ☆20Updated last week
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- A programming language for distributed applications☆34Updated last year
- Base library for Rüstigraben☆18Updated 4 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- A small repo to release coursier using self-hosted Mac M1 runner☆11Updated last month
- An ORC reader for Rust☆12Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- ☆35Updated 3 weeks ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Fast streams for Scala 3☆52Updated 4 months ago
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 6 years ago
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Updated 9 years ago
- Making the execution of system processes easier in Scala☆13Updated 4 months ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- Http4s on Finagle Server or Client☆11Updated 2 weeks ago
- ☆12Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Linear types in Scala☆43Updated last week
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 10 months ago
- Bolts: Stainless Verified Scala Examples☆22Updated 3 weeks ago
- Monad transformers for exception handling☆17Updated 10 months ago
- Apache Pulsar client for Haskell☆38Updated 4 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆13Updated 2 years ago
- Kafka as a Datalog Engine☆28Updated 2 months ago
- Json ast / parser / printer for unison☆10Updated 5 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago