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
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Monadic folds☆69Updated 2 years ago
- Unique Functional Values for Scala☆17Updated 9 months ago
- Typed Spreadsheet UI library for ScalaJS☆40Updated 2 years ago
- Lambda syntax for Scala EDSLs☆27Updated last year
- Optics experimentation for Dotty☆32Updated 3 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 10 months ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- typed tagless final interpreters☆13Updated 8 years ago
- ☆19Updated 5 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Updated last week
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 8 years ago
- This library has been succeeded by cats-tagless☆42Updated 6 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 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
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆33Updated 7 years ago
- A Scala.js library for building user interfaces☆13Updated 2 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- High-performance helpers for working with flat arrays in Scala☆10Updated 2 months ago
- opentracing for pure applications☆17Updated 6 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆53Updated 3 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 6 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 3 years ago
- prototype postgres back-end for ocs☆15Updated 3 years ago
- Pretty printer for Scala type errors☆13Updated 8 years ago
- An sbt plugin for creating java foreign bindings using project panama.☆12Updated 5 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago