Vladislav's repositories
agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
chumsky
A parser library for humans with powerful error recovery.
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
cumulus
Write Parachains on Substrate
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
finality-grandpa
finality gadget for blockchains using common prefix agreement
ganache-core
Core code for Ganache
heroku-buildpack-rust
A buildpack for Rust applications on Heroku, with full support for Rustup, cargo and build caching.
hyperbridge
Hyperbridge is a hyper-scalable, interoperability coprocessor.
jito-solana
Jito Foundation MEV Solana Client
jsonrpc
Rust JSON-RPC implementation
open-runtime-module-library
Substrate Open Runtime Module Library
parity-bridges-common
Collection of Useful Bridge Building Tools 🏗️
parity-common
Collection of crates used in Parity projects
parity-db
Experimental blockchain database
polkascan-pre-harvester
This repository is managed by Terraform!
rc5_test
RC5 recruitment test
RustCrypto-crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
substrate
Substrate: The platform for blockchain innovators
telegram-bot
Rust Library for creating a Telegram Bot
tutorial-code
Source code & exercises in Arend's documentation