expload / pravdaLinks
Blockchain with Turing-complete VM implemented in Scala.
☆38Updated 5 years ago
Alternatives and similar repositories for pravda
Users that are interested in pravda are comparing it to the libraries listed below
Sorting:
- Logic zero-sum game☆6Updated 8 years ago
- Cassandra client in scala☆14Updated 3 months ago
- Cryptography for Scala and Scala.js☆22Updated 5 years ago
- Scalalaz podcast website generator☆10Updated 6 months ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Updated 8 years ago
- Compile-time expression evaluation for Scala 2☆16Updated last month
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Updated 5 months ago
- Fast Scala eDSL for HTML☆57Updated 2 years ago
- Typesafe record types for Scala☆21Updated 5 months ago
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- Zero-dependency boilerplate-free tagged types for Scala☆37Updated 4 years ago
- STM monad for cats-effect☆37Updated 6 years ago
- Configured derivation library for scala 3☆35Updated 10 months ago
- ☆16Updated 6 years ago
- Wire your cakes automatically to zio environment☆42Updated 5 years ago
- asynchronous library for sending and receiving mail via fs2._☆44Updated 2 years ago
- Derive Scala code for your HTTP API from swagger!☆38Updated 11 months ago
- Scala macro that generates ultra-fast string interpolators.☆91Updated 4 months ago
- Some bifunctor IO type classes☆22Updated 4 years ago
- Simple generically-derived cryptographic functions for Scala☆20Updated 5 months ago
- Generic records for Scala☆16Updated 3 years ago
- A type-safe and flexible error handling library for Scala, based on Shapeless Coproducts☆29Updated 5 years ago
- Call python code from Scala Native!☆19Updated 3 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 8 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆85Updated last week
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated last month
- Scorex 2.0 Tutorial☆39Updated 7 years ago
- ☆12Updated 11 months ago
- An experimental 3D game built with ZIO and OpenGL (LWJGL)☆57Updated 4 years ago