vmarkushin Goto Github PK

arend

The Arend Proof Assistant

arend-lib

big-file-sort

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

desub

Decode Substrate with Backwards-Compatible Metadata

dtlc

Dependently Typed Lambda Calculus

ethabi

exonum

An extensible open-source framework for creating private/permissioned blockchain applications

exonum-client

JavaScript client for Exonum blockchain

fabric-blockchain-explorer

finality-grandpa

finality gadget for blockchains using common prefix agreement

ganache-core

Core code for Ganache

grammar-issues

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.

idris2-vim

Vim mode for Idris 2

interpreter

A simple interpreter

iroha

Iroha - A simple, enterprise-grade decentralized ledger

javarpc

json

Strongly typed JSON library for Rust

jsonrpc

Rust JSON-RPC implementation

lstm

LSTM Neural Network

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

parity-scale-codec

Lightweight, efficient, binary serialization and deserialization codec