expload / pravda
Blockchain with Turing-complete VM implemented in Scala.
☆37Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for pravda
- Logic zero-sum game☆6Updated 7 years ago
- Cryptography for Scala and Scala.js☆23Updated 5 years ago
- Scalalaz podcast website generator☆10Updated 2 months ago
- Cassandra client in scala☆14Updated 2 months ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Updated last month
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Updated 7 years ago
- Configured derivation library for scala 3☆34Updated 2 months ago
- Your kind censor of telegram chats☆12Updated 6 years ago
- (joke-project) Small HTTP service library, no dependencies.☆16Updated 7 years ago
- Scorex 2.0 Tutorial☆40Updated 7 years ago
- Full scala 1.5 year scala course☆15Updated 5 years ago
- Automated case classes validation using refinement types and macros☆13Updated 6 months ago
- ☆16Updated 6 years ago
- Functional Telegram Bot API wrapper for Scala on top of akka, circe, cats, and shapeless☆28Updated 7 years ago
- scala things☆70Updated 2 weeks ago
- Zero-dependency boilerplate-free tagged types for Scala☆36Updated 3 years ago
- Wire your cakes automatically to zio environment☆42Updated 4 years ago
- STM monad for cats-effect☆37Updated 5 years ago
- ☆25Updated 5 years ago
- Typesafe DSL for work with Aerospike Database☆40Updated 7 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated last week
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆28Updated 4 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆81Updated this week
- Mattermost API v4 Client for Scala☆35Updated last year
- Oolong - compile-time query generation for document stores☆10Updated last year
- AST free JSON library for Scala☆110Updated 2 weeks ago
- Fast Scala eDSL for HTML☆57Updated 2 years ago
- ☆12Updated 3 months ago
- Lightweight and idiomatic Scala wrapper around Web3J for Ethereum.☆81Updated 2 years ago