expload / pravdaLinks
Blockchain with Turing-complete VM implemented in Scala.
☆38Updated 6 years ago
Alternatives and similar repositories for pravda
Users that are interested in pravda are comparing it to the libraries listed below
Sorting:
- Cassandra client in scala☆12Updated last week
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Updated 8 years ago
- ☆16Updated 7 years ago
- Functional Telegram Bot API wrapper for Scala on top of akka, circe, cats, and shapeless☆27Updated 8 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆86Updated 3 weeks ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Updated 9 months ago
- Cryptography for Scala and Scala.js☆22Updated 6 years ago
- Fast Scala eDSL for HTML☆56Updated 3 years ago
- Configured derivation library for scala 3☆35Updated last year
- Zero-dependency boilerplate-free tagged types for Scala☆37Updated 4 years ago
- BitTorrent streaming engine, written in Scala and based on akka-streams☆24Updated 7 years ago
- Derive Scala code for your HTTP API from swagger!☆38Updated last year
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Updated 5 years ago
- Scorex 2.0 Tutorial☆39Updated 8 years ago
- STM monad for cats-effect☆36Updated 6 years ago
- yet another Raft implementation☆15Updated 6 years ago
- Typesafe DSL for work with Aerospike Database☆40Updated 8 years ago
- A pure scheduler for referentially transparent effect types☆19Updated 2 years ago
- Mattermost API v4 Client for Scala☆32Updated 2 years ago
- Wire your cakes automatically to zio environment☆41Updated 5 years ago
- Scalalaz podcast website generator☆10Updated 10 months ago
- Comprehensions for Arrows and Monoidal categories☆61Updated 5 months ago
- ☆12Updated last year
- asynchronous library for sending and receiving mail via fs2._☆44Updated 3 weeks ago
- Scala macro that generates ultra-fast string interpolators.☆91Updated 8 months ago
- library for reliable processing records received from kafka☆21Updated this week
- Sbt plugin to help deploy Scala applications to Kubernetes☆38Updated last month
- Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop☆20Updated 8 years ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- scala things☆69Updated last year