aherlihy / caracLinks
A Datalog execution engine for Scala
☆10Updated 2 months ago
Alternatives and similar repositories for carac
Users that are interested in carac are comparing it to the libraries listed below
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- ☆20Updated last month
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- ☆12Updated 2 years ago
- Multiparty Session Types toolKit☆15Updated 3 weeks ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- An ORC reader for Rust☆12Updated 2 years ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Bolts: Stainless Verified Scala Examples☆22Updated last week
- A programming language for distributed applications☆34Updated 11 months ago
- Json ast / parser / printer for unison☆10Updated 5 years ago
- ☆15Updated 4 years ago
- Monad transformers for exception handling☆17Updated 9 months ago
- Effect Handlers for Java / the JVM☆30Updated 5 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
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆31Updated last month
- TASTy Migration Manager☆11Updated 8 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Base library for Rüstigraben☆18Updated 4 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Http4s on Finagle Server or Client☆11Updated last month
- Molecule translates custom Scala code to database queries for multiple databases.☆20Updated 2 weeks ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10Updated 9 years ago
- a capability-based system☆40Updated 7 years ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 6 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago