Pinned Repositories
composable
Picasso Kusama and Composable Polkadot parachains
composable-ibc
A trustless, cross-chain bridging protocol.
agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Arend
The Arend Proof Assistant
arend-lib
big-file-sort
dtlc
Dependently Typed Lambda Calculus
exonum
An extensible open-source framework for creating private/permissioned blockchain applications
fabric-blockchain-explorer
iroha
Iroha - A simple, enterprise-grade decentralized ledger
vmarkushin's Repositories
vmarkushin/dtlc
Dependently Typed Lambda Calculus
vmarkushin/agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
vmarkushin/Arend
The Arend Proof Assistant
vmarkushin/arend-lib
vmarkushin/big-file-sort
vmarkushin/chumsky
A parser library for humans with powerful error recovery.
vmarkushin/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
vmarkushin/cumulus
Write Parachains on Substrate
vmarkushin/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
vmarkushin/desub
Decode Substrate with Backwards-Compatible Metadata
vmarkushin/ethabi
vmarkushin/finality-grandpa
finality gadget for blockchains using common prefix agreement
vmarkushin/ganache-core
Core code for Ganache
vmarkushin/grammar-issues
vmarkushin/heroku-buildpack-rust
A buildpack for Rust applications on Heroku, with full support for Rustup, cargo and build caching.
vmarkushin/hyperbridge
Hyperbridge is a hyper-scalable, interoperability coprocessor.
vmarkushin/jito-solana
Jito Foundation MEV Solana Client
vmarkushin/jsonrpc
Rust JSON-RPC implementation
vmarkushin/open-runtime-module-library
Substrate Open Runtime Module Library
vmarkushin/parity-bridges-common
Collection of Useful Bridge Building Tools 🏗️
vmarkushin/parity-common
Collection of crates used in Parity projects
vmarkushin/parity-db
Experimental blockchain database
vmarkushin/polkascan-pre-harvester
This repository is managed by Terraform!
vmarkushin/rc5_test
RC5 recruitment test
vmarkushin/RustCrypto-crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
vmarkushin/substrate
Substrate: The platform for blockchain innovators
vmarkushin/substrate-clubs
vmarkushin/telegram-bot
Rust Library for creating a Telegram Bot
vmarkushin/tutorial-code
Source code & exercises in Arend's documentation
vmarkushin/vmarkushin.github.io