Ilya's repositories
CuckooScala
Cuckoo Filter for Scala 🎯
factnet-p2p
Code for Blockchain Developer workshop
binance-aggregator
Demo project showcasing ToFu Streams application
rocks4cats
RocksDB client build on top of CE2 and RocksDB JNI
yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
tofu
Functional programming toolbox https://tinkoffcreditsystems.github.io/tofu
cardano-multiplatform-lib
Rust implementation of Cardano
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
fs2
Compositional, streaming I/O library for Scala
macaw
Alternative collections
pallas
Rust-native building blocks for the Cardano blockchain ecosystem
plasma-mvp
OmiseGO's research implementation of Minimal Viable Plasma
PrismLang
Contract-oriented expression-based scripting language
redis4cats
:floppy_disk: Redis client built on top of Cats Effect, Fs2 and Lettuce
rust-libp2p
The Rust Implementation of the libp2p networking stack.
rust-sdk
Rust SDK for the Maestro Dapp Platform
scilla-coq
State-Transition Systems for Smart Contracts
Scorex
Scorex 2.0 Core
scrypto
Cryptographic primitives for Scala
sequoia-ci
An experimental CI server in Haskell
stdlib
The Aiken Standard Library
wallet-react-native
Generic wallet built in React Native