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
  ☆326Updated 5 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 4 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 last month
• stanford-ppl / Delite
  The Delite Git Repo
  ☆217Updated 7 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• ankurdave / part
  Persistent Adaptive Radix Trees in Java
  ☆80Updated 4 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• epfldata / sc-public
  Example DSLs for working with SC
  ☆22Updated 7 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆45Updated 3 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• amplab / succinct
  Enabling queries on compressed data.
  ☆279Updated last year
• greedy / scala
  My fork of scala (includes the llvm backend)
  ☆266Updated 11 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 6 years ago
• archie / raft
  Distributed consensus algorithm implemented in Scala and Akka
  ☆56Updated 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
• emmalanguage / emma
  A quotation-based Scala DSL for scalable data analysis.
  ☆63Updated 2 years ago
• pablosmedina / ckite
  CKite - A JVM implementation of the Raft distributed consensus algorithm written in Scala
  ☆213Updated 6 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• TiarkRompf / scala-virtualized
  The Scala Programming Language: Virtualized
  ☆104Updated 9 years ago
• velvia / filo
  Fast, memory-efficient, minimal-serialization, binary data vectors for Scala and other languages
  ☆67Updated 6 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆94Updated 6 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆88Updated 8 years ago
• stephentu / scala-sql-parser
  SQL parser written using Scala's parser combinator library
  ☆104Updated 8 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆138Updated 7 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated 10 months ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆199Updated last year
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago