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