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 last week
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Updated 8 years ago
- ☆16Updated 6 years ago
- (joke-project) Small HTTP service library, no dependencies.☆16Updated 8 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆86Updated this week
- Cryptography for Scala and Scala.js☆22Updated 5 years ago
- Scorex 2.0 Tutorial☆39Updated 7 years ago
- Zero-dependency boilerplate-free tagged types for Scala☆37Updated 4 years ago
- Functional Telegram Bot API wrapper for Scala on top of akka, circe, cats, and shapeless☆28Updated 7 years ago
- Scala macro that generates ultra-fast string interpolators.☆92Updated 4 months ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- Mattermost API v4 Client for Scala☆33Updated 2 years ago
- Derive Scala code for your HTTP API from swagger!☆38Updated 11 months ago
- Oolong - compile-time query generation for document stores☆10Updated 2 years ago
- Scalalaz podcast website generator☆10Updated 7 months ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆36Updated 6 months ago
- AST free JSON library for Scala☆116Updated 3 weeks ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Updated 10 years ago
- Typesafe DSL for work with Aerospike Database☆40Updated 8 years ago
- BitTorrent streaming engine, written in Scala and based on akka-streams☆24Updated 7 years ago
- STM monad for cats-effect☆37Updated 6 years ago
- Fast Scala eDSL for HTML☆57Updated 2 years ago
- Middle layer between JavaBeans and shapeless☆46Updated last week
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 8 years ago
- ABANDONED☆21Updated 9 years ago
- Configured derivation library for scala 3☆35Updated 11 months ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Updated 5 years ago
- Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.☆99Updated 2 years ago
- ☆12Updated last year