Mike Voronov's repositories
libp2p-dissector
Project for ETHBerlin hackaton bounty: https://github.com/ethberlinzwei/Bounties/issues/20
applied-type-theory
Applied type theory, MSU Fall 2022
applied-type-theory-2023
Applied type theory, MSU Fall 2023
blst
Multilingual BLS12-381 signature library
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
go-libp2p
libp2p implementation in Go
go-libp2p-secio
go-libp2p's secio encrypted transport
interface-types
The `wasmer-interface-types` crate
ipfs-thing-2022
ipfs-þing-2022
libp2p-multilang
Trying to connect js-libp2p with rust-libp2p
lua-filecoin
Prototype of Filecoin in Lua
made-with-webassembly
A showcase of awesome production applications, side projects, and use cases made with WebAssembly (Wasm). 👷
rust-fil-proofs
Proofs for Filecoin in Rust
rust-gpu-tools
Rust tools for OpenCL and GPU management.
rust-libp2p
The Rust Implementation of libp2p networking stack.
RustaCUDA
Rusty wrapper for the CUDA Driver API
sqlite
Interface to SQLite
subtle
Pure-Rust traits and utilities for constant-time cryptographic implementations.
wasmer
🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift