Vladislav's repositories
Arend
The Arend Proof Assistant
chumsky
A parser library for humans with powerful error recovery.
iroha
Iroha - A simple, enterprise-grade decentralized ledger
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
desub
Decode Substrate with Backwards-Compatible Metadata
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.
json
Strongly typed JSON library for Rust
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
substrate
Substrate: The platform for blockchain innovators
substrate-subxt
Submit extrinsics (transactions) to a substrate node via RPC
telegram-bot
Rust Library for creating a Telegram Bot
toml-rs
A TOML encoding/decoding library for Rust
tutorial-code
Source code & exercises in Arend's documentation