Alternatives and similar repositories for carac

Users that are interested in carac are comparing it to the libraries listed below

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• alexarchambault / mill-native-image
  ☆20Updated last month
• vic / cyclone
  Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js
  ☆11Updated 4 years ago
• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated 3 months ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• mpilquist / graph-unions
  ☆12Updated 2 years ago
• alcestes / mpstk
  Multiparty Session Types toolKit
  ☆15Updated 3 weeks ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆22Updated last week
• scala-loci / scala-loci
  A programming language for distributed applications
  ☆34Updated 11 months ago
• francisdb / unison-json
  Json ast / parser / printer for unison
  ☆10Updated 5 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 9 months ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• jphmrst / bps
  Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
  ☆16Updated last year
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last month
• scalacenter / tasty-mima
  TASTy Migration Manager
  ☆11Updated 8 months ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• ruestigraben / ruesti-base
  Base library for Rüstigraben
  ☆18Updated 4 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last month
• scalamolecule / molecule
  Molecule translates custom Scala code to database queries for multiple databases.
  ☆20Updated 2 weeks ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• mguenther / csp-solver-scala
  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
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆13Updated 6 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago