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:
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Scala compiler plugin implementing parser macros☆9Updated 7 years ago
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- Universal Scala.js executable☆22Updated 2 years ago
- Making the execution of system processes easier in Scala☆13Updated 4 months ago
- Problem solving à la carte☆20Updated 3 years ago
- Library for counting and enumerating things.☆47Updated 3 years ago
- typed tagless final interpreters☆13Updated 8 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Lambda syntax for Scala EDSLs☆27Updated last year
- Monadic folds☆69Updated 2 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 9 years ago
- Linear types in Scala☆43Updated last week
- Experiments with incremental compiler construction on the JVM☆11Updated 3 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Updated 9 years ago
- Extensible protocols for Scala☆13Updated 8 years ago
- a capability-based system☆40Updated 7 years ago
- ☆57Updated 7 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)☆19Updated 7 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Updated 7 years ago
- Scala wrappers for MapDB☆12Updated 7 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- Higher kinded data in Scala☆20Updated 3 months ago
- This library has been succeeded by cats-tagless☆41Updated 6 years ago
- Typesafe record types for Scala☆21Updated 5 months ago