EncryFoundation / EncryCore
EncryCore node reference implementation
☆15Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for EncryCore
- 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☆70Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆15Updated 2 weeks ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- tasty project for Scala☆14Updated 7 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- A Scala.js library for building user interfaces☆13Updated last year
- Turn a normal resource into a pooled one.☆38Updated last year
- High-performance helpers for working with flat arrays in Scala☆10Updated this week
- A type-parametric unboxed Option type for Scala☆60Updated 3 years ago
- typed tagless final interpreters☆13Updated 7 years ago
- A Scala Based Decentralised Ledger (Blockchain)☆12Updated 2 years ago
- Effect Zoo for Scala☆31Updated this week
- Unique Functional Values for Scala☆17Updated 2 months ago
- An sbt plugin for creating java foreign bindings using project panama.☆12Updated 4 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 3 months ago
- ☆29Updated 9 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated 3 months ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 7 years ago
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆25Updated 3 months ago
- ☆20Updated 3 years ago
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆25Updated this week
- WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!☆37Updated last year
- Typesafe record types for Scala☆21Updated 2 months ago
- High-performance codecs for ZIO applications☆23Updated 2 years ago
- This library has been succeeded by cats-tagless☆42Updated 6 years ago
- Higher kinded data in Scala☆19Updated 3 months ago