EncryFoundation / EncryCoreLinks
EncryCore node reference implementation
☆15Updated 5 years ago
Alternatives and similar repositories for EncryCore
Users that are interested in EncryCore are comparing it to the libraries listed below
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Monadic folds☆69Updated 2 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- opentracing for pure applications☆17Updated 6 years ago
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- ☆20Updated 4 years ago
- Typed Spreadsheet UI library for ScalaJS☆40Updated 2 years ago
- A type-safe abstraction for platform-independent file system paths.☆24Updated 4 years ago
- typed tagless final interpreters☆13Updated 8 years ago
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 6 years ago
- Unique Functional Values for Scala☆17Updated 9 months ago
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 8 years ago
- tasty project for Scala☆14Updated 8 years ago
- WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!☆37Updated 3 months ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Fast streams for Scala 3☆53Updated 4 months ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Updated 7 years ago
- Effect Zoo for Scala☆41Updated last week
- Library for counting and enumerating things.☆47Updated 3 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 11 months ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows☆21Updated 6 months ago
- Lambda syntax for Scala EDSLs☆27Updated last year
- All the code from the blog post about exploring STM in ZIO.☆18Updated 5 years ago
- This library has been succeeded by cats-tagless☆41Updated 6 years ago
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 6 years ago