TimothyGu
Software Engineer at @Stripe. ex-@stanford ex-@UCLA ex-@google ex-@teslamotors | Work account: @timothyg-stripe
@StripeSeattle, US
TimothyGu's Stars
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
swc-project/swc
Rust-based platform for the Web
python-poetry/poetry
Python packaging and dependency management made easy
BtbN/FFmpeg-Builds
golang-jwt/jwt
Community maintained clone of https://github.com/dgrijalva/jwt-go
pdfminer/pdfminer.six
Community maintained fork of pdfminer - we fathom PDF
axboe/fio
Flexible I/O Tester
xiph/rav1e
The fastest and safest AV1 encoder.
dtinth/comic-mono-font
A legible monospace font... the very typeface you’ve been trained to recognize since childhood
jsverify/jsverify
Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.
ada-url/ada
WHATWG-compliant and fast URL parser written in modern C++
elFarto/nvidia-vaapi-driver
A VA-API implemention using NVIDIA's NVDEC
cvc5/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
shannpersand/comic-shanns
a classy font
FrameworkComputer/EmbeddedController
Embedded Controller firmware for the Framework Laptop
jasoncharnes/run.rb
Run Ruby in the browser using WebAssembly
dtolnay/prettyplease
A minimal `syn` syntax tree pretty-printer
SRI-CSL/yices2
The Yices SMT Solver
gitgitgadget/gitgitgadget
Sending GitHub PRs to the Git mailing list
bitwuzla/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
stanford-centaur/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
sillycross/PochiVM
Lightweight framework for easy and efficient code generation
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
emina/kodkod
Kodkod solver for relational logic
kaist-plrg/jiset
JISET: JavaScript IR-based Semantics Extraction Toolchain
lammich/isabelle_llvm
Isabelle LLVM Code Generator and Refinement
whatwg/testutils
Test Utils Standard
hotseatio/hotseat.io
The code for Hotseat!
stanford-web-security/assign3
CS 253 Assignment 3 – Somebody's Always Watching 👁️
kenballus/url_differential_fuzzing