junfengy

junfengy's Stars

• columbia/SmartInv

  173

• chardonnaydb/chardonnay

  Language:Rust5

• columbia/Metric_Learning_Adversarial_Robustness

  Code for NeurIPS 2019 Paper

  Language:Python488

• randyrants/sharpkeys

  SharpKeys is a utility that manages a Registry key that allows Windows to remap one key to any other key.

  Language:C#6.1k408

• faastjs/faast.js

  Serverless batch computing made simple.

  Language:TypeScript1.5k42

• xinhaoyuan/morpheus

  Erlang Sandboxing for Reliable and Scalable Concurrency Testing

  Language:Erlang211

• columbia/egalito

  Self-hosting binary instrumentation framework for security research

  Language:C++20937

• peikexin9/deepxplore

  DeepXplore code release

  Language:Python391145

• columbia/woodpecker

  Woodpecker: Verifying systems rules using rule-directed symbolic execution

  Language:C134

• NimbleDroid/FriendlyDemo

  Cheetah Project: App For Nimble Droid blogpost

  Language:Java12223

• columbia/crane

  Transparent Paxos

  Language:C++4416

• columbia/appdoctor

  AppDoctor

  Language:Java157

• NimbleDroid/gradle-profiler

  A gradle plugin that interfaces with NimbleApp to automate app profiling.

  Language:Groovy191

• brendangregg/FlameGraph

  Stack trace visualizer

  Language:Perl17.2k2k

• columbia/neongoby

  NeonGoby alias analysis checker

  Language:C++154

• columbia/loom

  a live-workaround system for fixing races in live applications

  Language:Shell31

• columbia/smt-mc

  The Parrot stable and deterministic multi-threading system.

  Language:C2611

• aosp-mirror/platform_dalvik

  Language:Java452263

• xiaocong/uiautomator

  Python wrapper of Android uiautomator test tool.

  Language:Python2k643