mikevoronov

every-programmer-should-know

A collection of (mostly) technical things every software developer should know about

Rust

All Algorithms implemented in Rust

RustPython

A Python Interpreter written in Rust

wasmtime

A fast and secure runtime for WebAssembly

idiomatic-rust

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

thiserror

derive(Error) for struct and enum error types

ipld

InterPlanetary Linked Data

ingopedia

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

Iced-Latte

a online Marketplace for coffee retail (Backend)

Plonky3

A toolkit for polynomial IOPs (PIOPs)

HoTTEST-Summer-School

HoTTEST Summer School materials

cargo-tally

Graph the number of crates that depend on your crate over time

weval

aqua

Programming language for distributed systems & p2p

opam

Archive for all Coq related OPAM packages organized in various repositories

Solution-to-Algebra-Chapter-0

Solution to Algebra, Chapter 0

aluffi

Solutions to Paolo Aluffi's "Algebra: Chapter 0".

spec

High Level IPVM Spec

models-of-programming-languages

Slides and handwritten notes on the course on models of programming languages

lambda-calculus-and-categories

A repository for the material of my course on lambda-calculus and categories

Isomorphic-Reasoning

Isomorphic Reasoning: Counting with Types

ipc

registry

Register and discover services via Aqua

cmu-ddg

Self-Study Coursework for Discrete Differential Geometry (CMU 15-458/858) in Spring 2021

dcc-wg

Distributed Choreography and Composition Working Group

marine-rs-sdk-test

SDK for testing apps built with marine-rs-sdk

Lalambda

Slides for Lalambda school

slides

Slides from various Fluence talks

async-architecture

CTF-tasks

various CTF-tasks written by me for VOLGA-CTF