mikevoronov

mikevoronov's Stars

• mtdvio/every-programmer-should-know

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

  84.7k2k537.9k

• TheAlgorithms/Rust

  All Algorithms implemented in Rust

  Language:Rust22.9k243702.2k

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust19.2k1671.1k1.2k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.5k1792.6k1.3k

• mre/idiomatic-rust

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

  Language:Rust6.6k15524205

• dtolnay/thiserror

  derive(Error) for struct and enum error types

  Language:Rust4.6k28205163

• ipld/ipld

  InterPlanetary Linked Data

  Language:Nunjucks1.3k86129164

• ingonyama-zk/ingopedia

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

  709181285

• Sunagatov/Iced-Latte

  a online Marketplace for coffee retail (Backend)

  Language:Java610661115

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust4853374191

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28927169

• dtolnay/cargo-tally

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

  Language:Rust23232612

• cfallin/weval

  172909

• fluencelabs/aqua

  Programming language for distributed systems & p2p

  Language:Scala1561024724

• coq/opam

  Archive for all Coq related OPAM packages organized in various repositories

  Language:OCaml12719131166

• hooyuser/Solution-to-Algebra-Chapter-0

  Solution to Algebra, Chapter 0

  Language:TeX871418

• srcreigh/aluffi

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

  Language:TeX5710313

• ipvm-wg/spec

  High Level IPVM Spec

  5114114

• pamellies/models-of-programming-languages

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

  50100

• consensus-shipyard/ipc

  🌳 Spawn multi-level trees of customized, scalable, EVM-compatible networks with IPC. L2++ powered by FVM, Wasm, libp2p, IPFS/IPLD, and CometBFT.

  Language:Rust441071739

• pamellies/lambda-calculus-and-categories

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

  41200

• cohomolo-gy/Isomorphic-Reasoning

  Isomorphic Reasoning: Counting with Types

  Language:TeX371003

• fluencelabs/registry

  Register and discover services via Aqua

  Language:Rust195474

• andy1li/cmu-ddg

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

  Language:C++16301

• fluencelabs/dcc-wg

  Distributed Choreography and Composition Working Group

  780

• fluencelabs/marine-rs-sdk-test

  SDK for testing apps built with marine-rs-sdk

  Language:Rust5792

• yugr/Lalambda

  Slides for Lalambda school

  Language:Coq420

• fluencelabs/slides

  Slides from various Fluence talks

  360

• KoleMax/async-architecture

  Language:Go230

• Konstantce/CTF-tasks

  various CTF-tasks written by me for VOLGA-CTF

  Language:C1200