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
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆75Updated last month
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆88Updated 8 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• 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 5 years ago
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 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
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• lemire / bloofi
  Bloofi: A java implementation of multidimensional Bloom filters
  ☆79Updated 8 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
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆45Updated 3 years ago
• nbronson / snaptree
  Concurrent TreeMap w/ efficient support for clone() and consistent iteration
  ☆149Updated 12 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• valotrading / zeromq-scala-binding
  Scala binding for ZeroMQ
  ☆72Updated 11 years ago
• Treode / store
  The DB that's replicated, sharded and transactional.
  ☆176Updated 9 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 6 years ago
• plokhotnyuk / actors
  Evaluation of API and performance of different actor libraries
  ☆133Updated 7 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆59Updated 4 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆156Updated 3 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• biokoda / actordb_core
  ActorDB main source
  ☆46Updated 2 years ago
• begeric / FastParsers
  Fast Parser Combinators
  ☆27Updated 10 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆303Updated 7 months ago
• knutwalker / transducers-scala
  Transducers are a way to build reusable transformations.
  ☆66Updated 6 years ago