Jupyter magics and kernels for working with remote Spark clusters
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
Jupyter kernel for Coq
47,133 repositories indexed
1–3 of 3 · Most stars
Jupyter magics and kernels for working with remote Spark clusters
Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
Jupyter kernel for Coq