wcphkust Goto Github PK
Type: User
Company: Postdoc@Purdue CS, HKUST Alumnus
Bio: Static analysis, program language theory
Location: West Lafayette
wcphkust's Projects
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
egraph-sqlite
egraph on top of sqlite
empirical-study-constraints
Replication package for "An empirical study of data constraint implementations in Java"
esprima
ECMAScript parsing infrastructure for multipurpose analysis
fastsmt
Learning to Solve SMT Formulas Fast
flowdroid
FlowDroid Static Data Flow Tracker
fse20
artifacts track, fse20
fusion-scan.github.io
g-cln
gitbase
SQL interface to git repositories, written in Go. https://docs.sourced.tech/gitbase
gitql
đ A git query language
grasshopper
An automated deductive program verifier.
herbie
Optimize floating-point expressions for accuracy
howtocook
ç¨ĺşĺĺ¨ĺŽśĺéĽćšćłćĺă
jahob
Jahob Verification System
jdk8u-jdk
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
juliet-test-suite
:microscope: A collection of test cases in the Java language. It contains examples for 112 different CWEs.
ldoctor
LDoctor
linear-algebra-calculator
Linear Algebra Calculator: collection of basic vector and matrix operations
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
llvm-slicing
Symbolic Program Slicing with LLVM
magic-in-ten-mins-py
ĺĺééćłçťäš Python ç
mba-blast
MBA-Blast is a tool for simplification of MBA expressions.
mba-solver
memcad
The MemCAD static analyzer
memusg
A 'time'-like utility for Unix that measures peak memory usage
microsat
microsat
oopsla-19-artifact
Artifact for OOPSLA 2019 Submission "Program Synthesis with Algebraic Library Specifications"
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
đ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. đđđ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google â¤ď¸ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.