qsphan Goto Github PK
Name: Quoc-Sang Phan
Type: User
Company: @facebook
Twitter: qsphan
Location: Menlo Park, CA
Blog: http://qsphan.github.io
Name: Quoc-Sang Phan
Type: User
Company: @facebook
Twitter: qsphan
Location: Menlo Park, CA
Blog: http://qsphan.github.io
A solver for All-solution Satisfiabiiity Modulo Theories
DARPA Cyber Grand Challenge Documentation
:art: Diagram as Code for prototyping cloud system architectures
A Concurrent Bounded Model Checker for Java bytecode
Some utilities for Symbolic PathFinder
Kani Rust Verifier
Some utils for the KLEE symbolic execution engine
Coordination of implementation and interop specific details
A LLVM-based static analysis framework.
Cross-platform iMessage POC
My papers
Automatically exported from code.google.com/p/relsat
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
Sample application to let OpenSSL talk to itself (for fuzzing)
Some utilities for SMT solver
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email [email protected]).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.