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.
  ☆137Updated 6 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆75Updated 2 months ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 4 months ago
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆327Updated 6 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆89Updated 9 years ago
• guillaumebort / scasm
  A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016
  ☆121Updated 8 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 5 years ago
• lemire / bloofi
  Bloofi: A java implementation of multidimensional Bloom filters
  ☆79Updated 9 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• Treode / store
  The DB that's replicated, sharded and transactional.
  ☆175Updated 9 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 9 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• usethesource / capsule
  The Capsule Hash Trie Collections Library
  ☆406Updated last year
• plokhotnyuk / actors
  Evaluation of API and performance of different actor libraries
  ☆133Updated 7 years ago
• valotrading / zeromq-scala-binding
  Scala binding for ZeroMQ
  ☆72Updated 11 years ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆158Updated 2 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• manojo / parsequery
  A fast parser combinator library, with extra querying goodness
  ☆34Updated 8 years ago
• knutwalker / transducers-scala
  Transducers are a way to build reusable transformations.
  ☆66Updated 6 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago