Giters
Matthew Do (minhnhdo)

minhnhdo

Geek Repo

32

followers

22

following

82

stars

Location:Canada

Home Page:https://minhdo.org

Github PK Tool:Github PK Tool

Matthew Do's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:290790Issues:5285Issues:659

awesome-scalability

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

License:MITStargazers:57146Issues:1864Issues:0

kubernetes-the-hard-way

Bootstrap Kubernetes the hard way. No scripts.

License:Apache-2.0Stargazers:39986Issues:967Issues:402

system-design-interview

System design interview for IT companies

Stargazers:21450Issues:973Issues:14

milewski-ctfp-pdf

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

Language:TeXLicense:NOASSERTIONStargazers:10866Issues:242Issues:161

awesome-compilers

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

License:NOASSERTIONStargazers:8721Issues:294Issues:29

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:7377Issues:186Issues:1892

yowsup

The WhatsApp lib

Language:PythonLicense:GPL-3.0Stargazers:7033Issues:471Issues:2797

awesome-machine-learning-on-source-code

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

License:CC-BY-SA-4.0Stargazers:6200Issues:356Issues:30

pathfinder

A fast, practical GPU rasterizer for fonts and vector graphics

Language:RustLicense:Apache-2.0Stargazers:3554Issues:87Issues:296

cranelift

Cranelift code generator

Stargazers:2482Issues:93Issues:379

mir

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

Language:CLicense:MITStargazers:2246Issues:79Issues:261

queueing-theory

Queueing theory: an introduction for software development

Stargazers:2125Issues:44Issues:1

scuttlebutt

peer-to-peer replicatable data structure

Language:JavaScriptLicense:NOASSERTIONStargazers:1317Issues:52Issues:31

ssb-db

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

Language:JavaScriptLicense:MITStargazers:1172Issues:58Issues:147

cvc5

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

Language:SMTLicense:NOASSERTIONStargazers:985Issues:35Issues:2555

driller

Driller: augmenting AFL with symbolic execution!

Language:PythonLicense:BSD-2-ClauseStargazers:882Issues:55Issues:73

e2email

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

Language:JavaScriptLicense:Apache-2.0Stargazers:804Issues:86Issues:27

mcmc-demo

Interactive Markov-chain Monte Carlo Javascript demos

Language:JavaScriptLicense:MITStargazers:763Issues:25Issues:7

ebook

Language:ShellStargazers:603Issues:0Issues:0

visual-machine-learning-notes

Machine Learning Conference & Summer School Notes. 🦄

Stargazers:568Issues:27Issues:1

blog

Luke Gorrie's blog

Stargazers:565Issues:130Issues:40

thinking-with-types

📖 source material for Thinking with Types

Language:HaskellLicense:NOASSERTIONStargazers:471Issues:21Issues:19

vuzzer

Language:CLicense:Apache-2.0Stargazers:378Issues:40Issues:19

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:HTMLLicense:CC-BY-SA-4.0Stargazers:373Issues:36Issues:169

spartan-type-theory

Spartan type theory

Language:OCamlLicense:MITStargazers:248Issues:6Issues:2

Research-Papers

Collection of various research papers I find interesting

Stargazers:86Issues:14Issues:0

CS-Books

Books Download From Google

Stargazers:82Issues:0Issues:0

render-cli

Language:ShellLicense:NOASSERTIONStargazers:80Issues:2Issues:48

source-of-truth

TODO

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:4Issues:0