andreaferretti / letheLinks
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
Sorting:
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Sireum v3☆10Updated last year
- Papers I (+ collaborators) have written or am currently writing☆20Updated 7 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Scala library for parsing and printing the SMT-LIB format☆45Updated 2 years ago
- Cats typeclass-based collection library for Scala (Trees, Graphs, Multimaps and more!)☆13Updated 7 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- Functional Programming Design Patterns☆16Updated 7 years ago
- ☆23Updated 11 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- GPU programming in Scala☆61Updated 13 years ago
- Multiversioned key-value database, especially useful for blockchain☆95Updated 7 years ago
- tasty project for Scala☆14Updated 8 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Safely trading off consistency for performance.☆12Updated 5 years ago
- Memcached client for Scala☆50Updated 8 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 10 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- util modules for sbt☆15Updated 5 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- C as an Embedded Language in Scala☆18Updated 10 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆11Updated 3 years ago
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Updated 9 years ago
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- a capability-based system☆40Updated 7 years ago