heathermiller / papers-documents
Papers I (+ collaborators) have written or am currently writing
☆20Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for papers-documents
- A new query language designed for building composable and reproducible data processing pipelines☆12Updated 3 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Embedded Kafka for testing and quick prototyping.☆14Updated 8 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A collection of Scala graph libraries and adapters for graph databases.☆14Updated 7 years ago
- web site for the Scala Center @ EPFL in Switzerland☆37Updated this week
- Just in Time Datastructures☆12Updated 7 years ago
- Scala library for biochemical network simulation, associated with the 3rd edition of the textbook Stochastic Modelling for Systems Biolog…☆12Updated 4 months ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- Atomix Jepsen tests☆14Updated 7 years ago
- Data management utilities for Scala☆19Updated 7 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- Oblivious RAM for Scala☆19Updated 3 years ago
- Peel is a framework that helps you to define, execute, analyze, and share experiments for distributed systems and algorithms.☆27Updated 2 years ago
- ETL orchestration platform with recoverability and process monitoring features☆9Updated 7 years ago
- A library of machine learning algorithms implemented using principles of functional programming.☆23Updated 7 years ago
- Sireum v3☆10Updated last year
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- ☆22Updated 10 years ago
- Slides for our 2015 event☆13Updated 9 years ago
- Solutions to the exercises in "Atomic Scala" 2nd Edition by Bruce Eckel & Dianne Marsh☆21Updated 9 years ago
- typed tagless final interpreters☆13Updated 7 years ago
- DIQL: Data Intensive Query Language☆12Updated 3 years ago
- phData Pulse application log aggregation and monitoring☆13Updated 4 years ago
- Akka Cluster for Value-at-Risk calculation☆14Updated 10 years ago
- ☆23Updated 9 years ago
- Memcached client for Scala☆50Updated 7 years ago