mikevoronov

mikevoronov's Stars

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust366123

• Sunagatov/Iced-Latte

  a online Marketplace for coffee retail (Backend)

  Language:Java58695

• cfallin/weval

  Language:Rust1597

• mtdvio/every-programmer-should-know

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

  77.7k7.4k

• consensus-shipyard/ipc

  Language:Rust3229

• ingonyama-zk/ingopedia

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

  68578

• fluencelabs/dcc-wg

  Distributed Choreography and Composition Working Group

  7

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust18k1.2k

• cohomolo-gy/Isomorphic-Reasoning

  Isomorphic Reasoning: Counting with Types

  Language:TeX373

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX27768

• ipld/ipld

  InterPlanetary Linked Data

  Language:Nunjucks1.3k160

• fluencelabs/slides

  Slides from various Fluence talks

  3

• ipvm-wg/spec

  High Level IPVM Spec

  494

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust14.8k1.2k

• andy1li/cmu-ddg

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

  Language:C++16

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

  Solution to Algebra, Chapter 0

  Language:TeX8219

• pamellies/models-of-programming-languages

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

  48

• pamellies/lambda-calculus-and-categories

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

  41

• KoleMax/async-architecture

  Language:Go2

• Konstantce/CTF-tasks

  various CTF-tasks written by me for VOLGA-CTF

  Language:C1

• TheAlgorithms/Rust

  All Algorithms implemented in Rust

  Language:Rust21.5k2.1k

• mre/idiomatic-rust

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

  Language:Rust6.2k180

• fluencelabs/aqua

  Programming language for distributed systems & p2p

  Language:Scala15023

• coq/opam

  Archive for all Coq related OPAM packages organized in various repositories

  Language:OCaml120162

• fluencelabs/marine-rs-sdk-test

  SDK for testing apps built with marine-rs-sdk

  Language:Rust52

• srcreigh/aluffi

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

  Language:TeX5713

• dtolnay/thiserror

  derive(Error) for struct and enum error types

  Language:Rust4.2k140

• dtolnay/cargo-tally

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

  Language:Rust22812

• yugr/Lalambda

  Slides for Lalambda school

  Language:Coq4

• fluencelabs/registry

  Register and discover services via Aqua

  Language:Rust194