Alternatives and similar repositories for EncryCore

Users that are interested in EncryCore are comparing it to the libraries listed below

• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 8 years ago
• atnos-org / origami
  Monadic folds
  ☆69Updated 2 years ago
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆16Updated last month
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• pomadchin / path-to-recschemes
  A path to Recursion Schemes
  ☆10Updated 5 years ago
• slamdata / quark
  Quark: An Embedded DSL for Quasar Analytics
  ☆45Updated 8 years ago
• input-output-hk / scalanet
  ☆20Updated 4 years ago
• markehammons / sbt-shackle
  An sbt plugin for creating java foreign bindings using project panama.
  ☆12Updated 5 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆61Updated 3 years ago
• optics-dev / Monocly
  Optics experimentation for Dotty
  ☆32Updated 3 years ago
• tofu-tf / shalter
  ☆12Updated 9 months ago
• mcsherrylabs / sss.openstar
  A Scala Based Decentralised Ledger (Blockchain)
  ☆12Updated 2 years ago
• mvv / sager
  Generic records for Scala
  ☆16Updated 3 years ago
• LukaJCB / sphynx
  This library has been succeeded by cats-tagless
  ☆42Updated 6 years ago
• typelevel / catalysts
  ☆33Updated 6 years ago
• typelevel / case-insensitive
  A case-insensitive string for Scala
  ☆40Updated this week
• ISCPIF / freedsl
  Practical effect composition library based on abstract wrapping type and the free monad
  ☆37Updated 6 years ago
• monix / monix-nio
  Java NIO utilities for usage with Monix
  ☆52Updated 3 years ago
• zio-archive / zio-codec
  High-performance codecs for ZIO applications
  ☆23Updated 2 years ago
• scalacenter / mix-macros-scala-2-and-3
  Demo mixing definitions of macros for Scala 2 and 3 in one source file
  ☆16Updated 3 years ago
• tpolecat / pool-party
  Turn a normal resource into a pooled one.
  ☆39Updated 2 years ago
• getshaka-org / shaka
  A Scala.js library for building user interfaces
  ☆13Updated last year
• aaronp / riff
  yet another Raft implementation
  ☆15Updated 6 years ago
• runarorama / kex
  Extensible protocols for Scala
  ☆13Updated 8 years ago
• phaller / spores3
  Abstractions for making closures in Scala safer and more flexible
  ☆16Updated last year
• propensive / polyvinyl
  Typesafe record types for Scala
  ☆21Updated 3 months ago
• UdashFramework / udash-generator
  Deprecated. Use Giter8 template instead.
  ☆11Updated 7 years ago