Alternatives and similar repositories for Ctries

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

• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆138Updated 6 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆75Updated 5 months ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 5 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 13 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆122Updated 7 months ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆160Updated last week
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆329Updated 6 years ago
• biokoda / actordb_core
  ActorDB main source
  ☆46Updated 2 years ago
• begeric / FastParsers
  Fast Parser Combinators
  ☆27Updated 10 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• guillaumebort / scasm
  A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016
  ☆121Updated 9 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• Treode / store
  The DB that's replicated, sharded and transactional.
  ☆176Updated 9 years ago
• knutwalker / transducers-scala
  Transducers are a way to build reusable transformations.
  ☆66Updated 7 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆59Updated 4 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆304Updated 10 months ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• lemire / bloofi
  Bloofi: A java implementation of multidimensional Bloom filters
  ☆79Updated 9 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 7 years ago