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/fabric-blockchain-explorer
vmarkushin/exonum
An extensible open-source framework for creating private/permissioned blockchain applications
vmarkushin/iroha
Iroha - A simple, enterprise-grade decentralized ledger
vmarkushin/exonum-client
JavaScript client for Exonum blockchain
vmarkushin/idris2-vim
Vim mode for Idris 2
vmarkushin/interpreter
A simple interpreter
vmarkushin/JavaRPC
vmarkushin/json
Strongly typed JSON library for Rust
vmarkushin/LSTM
LSTM Neural Network
vmarkushin/parity-scale-codec
Lightweight, efficient, binary serialization and deserialization codec
vmarkushin/pie-hs
An implementation of Pie in Haskell
vmarkushin/rust-NTRUMLS
Rust implementation of NTRU Modular Lattice Signature scheme
vmarkushin/rust-secp256k1-sha3
Rust language bindings for Bitcoin secp256k1 library.
vmarkushin/serde
Serialization framework for Rust
vmarkushin/sodium-native
Low level bindings for libsodium
vmarkushin/Sparky
The Sparky engine!
vmarkushin/substrate-api-client
Library for connecting to substrate API over WebSockets
vmarkushin/substrate-bridge-pswap
vmarkushin/substrate-iroha-bridge-node
vmarkushin/substrate-subxt
Submit extrinsics (transactions) to a substrate node via RPC
vmarkushin/tiny-AES-c
Small portable AES128/192/256 in C
vmarkushin/toml-rs
A TOML encoding/decoding library for Rust
vmarkushin/ursa