andreaferretti / lethe
Oblivious RAM for Scala
☆19Updated 4 years ago
Alternatives and similar repositories for lethe:
Users that are interested in lethe are comparing it to the libraries listed below
- Safely trading off consistency for performance.☆12Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- C as an Embedded Language in Scala☆18Updated 10 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆12Updated 5 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Sireum v3☆10Updated last year
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆50Updated 7 years ago
- This repository is obsolete☆10Updated 7 years ago
- Functional Programming Design Patterns☆16Updated 7 years ago
- ☆10Updated 6 years ago
- tasty project for Scala☆14Updated 7 years ago
- ☆21Updated 7 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- util modules for sbt☆15Updated 4 years ago
- Memcached client for Scala☆50Updated 7 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Updated 7 years ago
- Powerful framework providing many useful utilities and features on top of the Scala language.☆15Updated 8 years ago
- FP concepts in Rust☆12Updated 6 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆11Updated 3 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- An extension to the amazing Spark framework for better functional programming.☆28Updated 8 years ago
- a capability-based system☆40Updated 6 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆34Updated 4 years ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Updated 9 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago