aherlihy / carac
A Datalog execution engine for Scala
☆10Updated this week
Alternatives and similar repositories for carac:
Users that are interested in carac are comparing it to the libraries listed below
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- An ORC reader for Rust☆12Updated 2 years ago
- Monad transformers for exception handling☆17Updated 7 months ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- A programming language for distributed applications☆34Updated 9 months ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Kafka as a Datalog Engine☆28Updated last week
- ☆20Updated last month
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Updated 9 years ago
- Json ast / parser / printer for unison☆10Updated 4 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Compile-time expression evaluation for Scala 2☆16Updated 3 weeks ago
- a capability-based system☆40Updated 6 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- Making the execution of system processes easier in Scala☆13Updated last month
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 6 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- ☆15Updated 8 years ago
- Http4s on Finagle Server or Client☆11Updated 3 weeks ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 5 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago