Alternatives and similar repositories for dblab:

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

• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆327Updated 6 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 5 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆75Updated 2 months ago
• stanford-ppl / Delite
  The Delite Git Repo
  ☆220Updated 8 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆89Updated 9 years ago
• ankurdave / part
  Persistent Adaptive Radix Trees in Java
  ☆80Updated 4 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• epfldata / sc-public
  Example DSLs for working with SC
  ☆22Updated 7 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• marekrogala / sparkdatalog
  A Datalog API for Spark
  ☆26Updated 8 years ago
• emmalanguage / emma
  A quotation-based Scala DSL for scalable data analysis.
  ☆63Updated 2 years ago
• stephentu / scala-sql-parser
  SQL parser written using Scala's parser combinator library
  ☆104Updated 9 years ago
• velvia / filo
  Fast, memory-efficient, minimal-serialization, binary data vectors for Scala and other languages
  ☆67Updated 6 years ago
• lsds / SEEP
  Cluster computing using Stateful Dataflow Graphs
  ☆26Updated 2 years ago
• palvaro / CMPS290S-Winter16
  Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models
  ☆51Updated 7 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆138Updated 8 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• amplab / succinct
  Enabling queries on compressed data.
  ☆278Updated last year
• pablosmedina / ckite
  CKite - A JVM implementation of the Raft distributed consensus algorithm written in Scala
  ☆213Updated 6 years ago
• uzh / signal-collect
  A framework for scalable graph computing.
  ☆147Updated 6 years ago
• lemire / bloofi
  Bloofi: A java implementation of multidimensional Bloom filters
  ☆79Updated 9 years ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆158Updated 2 years ago
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 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
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 6 years ago