Pinned Repositories
check-privacy
cs244-lab2
cs244-pa3-mahimahi
demikernel
Demikernel OS
go-audit
go-audit is an alternative to the auditd daemon that ships with many distros
jpf-core-public
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.
jpf-symbc-public
Symbolic PathFinder
kappa-public
Serverless for all computation
lazy_columns
Rails plugin that adds support for lazy-loading columns in Active Record models
legion
The Legion Parallel Programming System
zhangwen0411's Repositories
zhangwen0411/cs244-pa3-mahimahi
zhangwen0411/check-privacy
zhangwen0411/cs244-lab2
zhangwen0411/demikernel
Demikernel OS
zhangwen0411/go-audit
go-audit is an alternative to the auditd daemon that ships with many distros
zhangwen0411/jpf-core-public
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.
zhangwen0411/jpf-symbc-public
Symbolic PathFinder
zhangwen0411/kappa-public
Serverless for all computation
zhangwen0411/lazy_columns
Rails plugin that adds support for lazy-loading columns in Active Record models
zhangwen0411/legion
The Legion Parallel Programming System
zhangwen0411/mahimahi
Web performance measurement toolkit
zhangwen0411/MyIterativeSolvers.jl
Implement Arnoldi and Lanczos methods for svds and eigs
zhangwen0411/manticore
Symbolic execution tool
zhangwen0411/mypy
Optional static typing for Python
zhangwen0411/pysmt-1
pySMT: A library for SMT formulae manipulation and solving
zhangwen0411/rdir
RDIR Compiler Plug-in
zhangwen0411/s3fs
S3 Filesystem
zhangwen0411/spatial
Spatial is a Forge DSL for programming reconfigurable hardware from a parameterized, high level abstraction.
zhangwen0411/vampire
The Vampire Theorem Prover
zhangwen0411/vimtex
A modern vim plugin for editing LaTeX files.
zhangwen0411/wasm
WebAssembly decoder & disassembler library
zhangwen0411/weld
Weld is a runtime and language for accelerating data analytics frameworks