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 3 months ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 6 months ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆328Updated 6 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆89Updated 9 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
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆158Updated 2 years ago
• lemire / bloofi
  Bloofi: A java implementation of multidimensional Bloom filters
  ☆79Updated 9 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• plokhotnyuk / actors
  Evaluation of API and performance of different actor libraries
  ☆133Updated 7 years ago
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• Treode / store
  The DB that's replicated, sharded and transactional.
  ☆175Updated 9 years ago
• begeric / FastParsers
  Fast Parser Combinators
  ☆27Updated 10 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
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 3 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• usethesource / capsule
  The Capsule Hash Trie Collections Library
  ☆406Updated last year
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆303Updated 9 months ago
• knutwalker / transducers-scala
  Transducers are a way to build reusable transformations.
  ☆66Updated 7 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 7 years ago
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 7 years ago