expload / pravda
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
- Logic zero-sum game☆6Updated 8 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Updated 2 months ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Updated 7 years ago
- BSON library for Scala☆56Updated last week
- Zero-dependency boilerplate-free tagged types for Scala☆37Updated 3 years ago
- Mattermost API v4 Client for Scala☆34Updated last year
- Automated case classes validation using refinement types and macros☆14Updated 10 months ago
- Configured derivation library for scala 3☆35Updated 6 months ago
- Oolong - compile-time query generation for document stores☆10Updated last year
- STM monad for cats-effect☆37Updated 5 years ago
- Compile-time expression evaluation for Scala 2☆15Updated 2 weeks ago
- ☆25Updated 6 years ago
- ☆16Updated 6 years ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Updated 4 years ago
- Scalalaz podcast website generator☆10Updated 3 months ago
- Fast Scala eDSL for HTML☆57Updated 2 years ago
- ☆12Updated 8 months ago
- Comprehensions for Arrows and Monoidal categories☆61Updated 4 months ago
- Cassandra client in scala☆14Updated 6 months ago
- Your kind censor of telegram chats☆12Updated 6 years ago
- scala things☆70Updated 4 months ago
- Efficient and expressive XML data-binding library for Scala☆21Updated 5 months ago
- Cryptography for Scala and Scala.js☆23Updated 5 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆84Updated last week
- Full scala 1.5 year scala course☆16Updated 6 years ago
- AST free JSON library for Scala☆113Updated last week
- ☆15Updated 6 years ago
- scala courses for Fintech☆26Updated 5 years ago
- Typesafe record types for Scala☆21Updated 2 months ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 7 years ago