vmarkushin Goto Github PK
Name: Vladislav
Type: User
Name: Vladislav
Type: User
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
The Arend Proof Assistant
A parser library for humans with powerful error recovery.
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Write Parachains on Substrate
A pure-Rust implementation of group operations on Ristretto and Curve25519
Decode Substrate with Backwards-Compatible Metadata
Dependently Typed Lambda Calculus
An extensible open-source framework for creating private/permissioned blockchain applications
JavaScript client for Exonum blockchain
finality gadget for blockchains using common prefix agreement
Core code for Ganache
A buildpack for Rust applications on Heroku, with full support for Rustup, cargo and build caching.
Hyperbridge is a hyper-scalable, interoperability coprocessor.
Vim mode for Idris 2
A simple interpreter
Iroha - A simple, enterprise-grade decentralized ledger
Jito Foundation MEV Solana Client
Strongly typed JSON library for Rust
Rust JSON-RPC implementation
LSTM Neural Network
Substrate Open Runtime Module Library
Collection of Useful Bridge Building Tools 🏗️
Collection of crates used in Parity projects
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.