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
applied-type-theory-2024
Applied type theory, MSU Fall 2024
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
mikevoronov's Repositories
mikevoronov/yet_another_storage
mikevoronov/CobaltStrikeForensic
Toolset for research malware and Cobalt Strike beacons
mikevoronov/ctf_writeups_2012
mikevoronov/ctf_writeups_2013
mikevoronov/ctf_writeups_2014
mikevoronov/ctf_writeups_2015
writeups to some ctf tasks of 2015
mikevoronov/go-libp2p
libp2p implementation in Go
mikevoronov/libwebp
Mirror only. Please do not send pull requests.
mikevoronov/musl
musl libc experiment
mikevoronov/rust_poc_1
POC for https://github.com/rust-lang/rust/issues/58684
mikevoronov/rust_poc_2
poc for https://github.com/dtolnay/syn/issues/688
mikevoronov/rust_poc_3
POC for https://github.com/rust-lang/rust/issues/63562
mikevoronov/syn
Parser for Rust source code
mikevoronov/vcmi
Open-source engine for Heroes of Might and Magic III
mikevoronov/wabt
The WebAssembly Binary Toolkit