Pinned Repositories
aquavm
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
marine
Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme
nox
Rust implementation of the Fluence network peer
applied-type-theory
Applied type theory, MSU Fall 2022
configs
various configs for shell, vim, tmux, ... Inspired by https://github.com/jonhoo/configs
libp2p-dissector
Project for ETHBerlin hackaton bounty: https://github.com/ethberlinzwei/Bounties/issues/20
pin_example
yet_another_storage
zprize-msm-gpu-submission
mikevoronov's Repositories
mikevoronov/libp2p-dissector
Project for ETHBerlin hackaton bounty: https://github.com/ethberlinzwei/Bounties/issues/20
mikevoronov/configs
various configs for shell, vim, tmux, ... Inspired by https://github.com/jonhoo/configs
mikevoronov/applied-type-theory
Applied type theory, MSU Fall 2022
mikevoronov/pin_example
mikevoronov/zprize-msm-gpu-submission
mikevoronov/applied-type-theory-2023
Applied type theory, MSU Fall 2023
mikevoronov/arend-cats
mikevoronov/blst
Multilingual BLS12-381 signature library
mikevoronov/blstrs
mikevoronov/course-work5
mikevoronov/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
mikevoronov/fawkes-rollup
mikevoronov/go-libp2p
libp2p implementation in Go
mikevoronov/go-libp2p-secio
go-libp2p's secio encrypted transport
mikevoronov/interface-types
The `wasmer-interface-types` crate
mikevoronov/ipfs-thing-2022
ipfs-þing-2022
mikevoronov/libp2p-multilang
Trying to connect js-libp2p with rust-libp2p
mikevoronov/lua-filecoin
Prototype of Filecoin in Lua
mikevoronov/made-with-webassembly
A showcase of awesome production applications, side projects, and use cases made with WebAssembly (Wasm). 👷
mikevoronov/phase2-bn254-1
mikevoronov/risc0-simple-linking-project
mikevoronov/rust-fil-proofs
Proofs for Filecoin in Rust
mikevoronov/rust-gpu-tools
Rust tools for OpenCL and GPU management.
mikevoronov/rust-libp2p
The Rust Implementation of libp2p networking stack.
mikevoronov/RustaCUDA
Rusty wrapper for the CUDA Driver API
mikevoronov/sqlite
Interface to SQLite
mikevoronov/subtle
Pure-Rust traits and utilities for constant-time cryptographic implementations.
mikevoronov/wasi-libc
WASI libc implementation for WebAssembly
mikevoronov/wasmer
🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten
mikevoronov/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift