tersesystems / ocaps
Object capability (ocap) tools and macros for Scala.
☆17Updated 4 months ago
Related projects: ⓘ
- Experiments with incremental compiler construction on the JVM☆11Updated 2 years ago
- ☆35Updated this week
- Lightweight affine types and object capabilities in Scala☆31Updated 5 years ago
- Problem solving à la carte☆20Updated 2 years ago
- Scala compiler plugin implementing parser macros☆9Updated 7 years ago
- typed tagless final interpreters☆13Updated 7 years ago
- ☆57Updated 7 years ago
- a capability-based system☆40Updated 6 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- A Framework for building Distributed Consensus Protocols☆10Updated 6 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 8 years ago
- Scala wrappers for MapDB☆12Updated 7 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 3 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Updated 6 years ago
- An sbt plugin to configure Java Flight Recorder☆11Updated last month
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- High-performance helpers for working with flat arrays in Scala☆10Updated this week
- Invertible syntax and partial isomorphisms for Scala☆31Updated 6 years ago
- ☆11Updated this week
- Universal Scala.js executable☆23Updated 2 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- ☆18Updated last month
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated 10 months ago
- Scala wrapper generator for interop with C, C++, Objective-C, and script languages.☆15Updated 3 years ago
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated last month
- A type-parametric unboxed Option type for Scala☆60Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 6 months ago
- Data-centric metaprogramming for Scala☆17Updated 9 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Updated 7 years ago