minhnhdo

minhnhdo's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown323k5.6k70829.9k

• binhnguyennus/awesome-scalability

  The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

  59.8k1.9k06.1k

• kelseyhightower/kubernetes-the-hard-way

  Bootstrap Kubernetes the hard way. No scripts.

  41.8k97041814.3k

• checkcheckzz/system-design-interview

  System design interview for IT companies

  21.9k978145.1k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11.1k245165598

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  9k29429651

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.7k1862k1.1k

• tgalal/yowsup

  The WhatsApp lib

  Language:Python7.1k4692.8k2.2k

• src-d/awesome-machine-learning-on-source-code

  Cool links & research papers related to Machine Learning applied to source code (MLonCode)

  6.3k35630843

• servo/pathfinder

  A fast, practical GPU rasterizer for fonts and vector graphics

  Language:Rust3.7k88298207

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k93379201

• vnmakarov/mir

  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

  Language:C2.3k78262153

• joelparkerhenderson/queueing-theory

  Queueing theory: an introduction for software development

  2.1k44171

• dominictarr/scuttlebutt

  peer-to-peer replicatable data structure

  Language:JavaScript1.3k523166

• ssbc/ssb-db

  A database of unforgeable append-only feeds, optimized for efficient replication for peer to peer protocols

  Language:JavaScript1.2k5814775

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k362.6k237

• shellphish/driller

  Driller: augmenting AFL with symbolic execution!

  Language:Python9095574162

• chi-feng/mcmc-demo

  Interactive Markov-chain Monte Carlo Javascript demos

  Language:JavaScript811267117

• e2email-org/e2email

  E2EMail is a simple Chrome application - a Gmail client that exchanges OpenPGP mail.

  Language:JavaScript807862762

• jason4wy/ebook

  Language:Shell603193

• visual-ml-notes/visual-machine-learning-notes

  Machine Learning Conference & Summer School Notes. 🦄

  57227182

• lukego/blog

  Luke Gorrie's blog

  5661304011

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell479211943

• UniMath/SymmetryBook

  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

  Language:HTML4083816923

• vusec/vuzzer

  Language:C3804019108

• andrejbauer/spartan-type-theory

  Spartan type theory

  Language:OCaml2596219

• dterei/Research-Papers

  Collection of various research papers I find interesting

  8614016

• render-oss/render-cli

  Language:Shell8335019

• wendy260310/CS-Books

  Books Download From Google

  82

• mietek/source-of-truth

  TODO

  Language:JavaScript140