tersesystems / ocaps
Object capability (ocap) tools and macros for Scala.
☆17Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for ocaps
- a capability-based system☆40Updated 6 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- ☆57Updated 7 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 8 months ago
- Experiments with incremental compiler construction on the JVM☆11Updated 2 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Scala wrappers for MapDB☆12Updated 7 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- typed tagless final interpreters☆13Updated 7 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- Problem solving à la carte☆20Updated 2 years ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Updated 9 years ago
- Session programming in Scala☆59Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- The Kerr Scala Extensions contain core functionality missing from the Scala standard library.☆28Updated 3 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Higher kinded data in Scala☆19Updated 3 months ago
- Monad transformers for exception handling☆17Updated 3 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Monadic folds☆70Updated 2 years ago
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated 3 months ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 4 years ago
- ☆17Updated 2 years ago
- Data-centric metaprogramming for Scala☆17Updated 9 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago