EncryFoundation / EncryCore
EncryCore node reference implementation
☆15Updated 4 years ago
Alternatives and similar repositories for EncryCore:
Users that are interested in EncryCore are comparing it to the libraries listed below
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- typed tagless final interpreters☆13Updated 8 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- Monadic folds☆69Updated 2 years ago
- opentracing for pure applications☆17Updated 6 years ago
- Unique Functional Values for Scala☆17Updated 6 months ago
- High-performance helpers for working with flat arrays in Scala☆10Updated 2 weeks ago
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 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
- Problem solving à la carte☆20Updated 2 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Final tagless talk sources.☆15Updated 7 years ago
- Typed Spreadsheet UI library for ScalaJS☆40Updated 2 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Updated 7 years ago
- Compile-time expression evaluation for Scala 2☆15Updated last week
- Arteria is a high performance message channel system for IPC and network communication☆12Updated 7 years ago
- This library has been succeeded by cats-tagless☆42Updated 6 years ago
- A Scala Based Decentralised Ledger (Blockchain)☆12Updated 2 years ago
- Complete Browser and Server client integration of Stripe in Scala and Scala.js☆13Updated 3 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆53Updated 2 years ago
- AnyHike: Example project for ZIO-GRPC☆18Updated 4 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 8 months ago
- ☆20Updated 3 years ago
- A type-safe abstraction for platform-independent file system paths.☆24Updated 3 years ago
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- High-performance codecs for ZIO applications☆23Updated 2 years ago