tersesystems / ocapsLinks
Object capability (ocap) tools and macros for Scala.
☆18Updated 6 months ago
Alternatives and similar repositories for ocaps
Users that are interested in ocaps are comparing it to the libraries listed below
Sorting:
- Problem solving à la carte☆20Updated 3 years ago
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- High-performance helpers for working with flat arrays in Scala☆10Updated 2 months ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- ☆57Updated 7 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- replace scalacheck-shapeless with scalacheck-magnolia for insane compilation speed up☆34Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Experiments with incremental compiler construction on the JVM☆11Updated 3 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆13Updated last year
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated 9 months ago
- a capability-based system☆40Updated 7 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- A Turing Machine encoded in the scala type system☆41Updated 13 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- Scala wrappers for MapDB☆12Updated 7 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Sbt thin client in Scala.js running on Node☆14Updated 6 years ago
- Compile-time expression evaluation for Scala 2☆16Updated 2 weeks ago
- Linear types in Scala☆43Updated this week
- A case-insensitive string for Scala☆40Updated this week
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Monad transformers for exception handling☆17Updated 9 months ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- ☆19Updated 5 years ago
- Effect Zoo for Scala☆41Updated 2 months ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago