Network safety and verification @ AWS Formerly: head of engineering @ Intentionet ; Apache Beam PMC ; Xoogler ; Ph.D.@ UW CSE; Harvey Mudd College
linux-80211n-csitool. 802.11n CSI Tool based on iwlwifi and Linux
317linux-80211n-csitool-supplementary. 802.11n CSI Tool based on iwlwifi and Linux-2.6
220Academic-Writing-Check. check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like
12lorcon-old. GitHub mirror of lorcon-old
9lca-dataflow. Least Common Ancestors algorithm, implemented in Google Cloud Dataflow
9uwthesis-tweaked. A tweaked version of Jim Fox's excellent uwthesis template
8bazel_python. Demonstration repository of bazel, python, and other miscellany
3pybatfish. Python client for Batfish
3mosaic. Photo mosaic building with the Google Photos API
3halperin-redir. redirection service for halper.in
2batfish. Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
2thesis. My Ph.D. thesis
2copy-clean. A Chrome extension to copy clean URLs from website links
1homebrew-cask-versions. 🔢 Alternate versions of Casks
1PythonDataScienceHandbook. Python Data Science Handbook: full text in Jupyter Notebooks
1swagger-java-embedded-sample. Sample Swagger+Jersey+Embedded application
1cse495-2013. Course website for CSE 495, Winter/Spring 2013
1dataflow-escience. Examples using Google Cloud Dataflow for UW eScience Institute
1pmd_demo. bazel/pmd attempted integration
1antlr4. ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
1restlet-testing. Simple demonstration of the 1024 byte bug
1BulbdialClock. Updated sketch to work with the current Time.h library and Arduino 1.0 IDE compatibility
1halperin-homepage. homepage for halper.in
1BulbDialKit. my modifications to the BulbDialKit. Original Evil Mad Scientist Labs project: http://www.evilmadscientist.com/article.php/bulbdialkit
1