Pinned

1. MIPVerify.jl MIPVerify.jl Public

   Evaluating Robustness of Neural Networks with Mixed Integer Programming

   Julia 112 31

2. friends-of-the-round-table friends-of-the-round-table Public

   Code for problem at http://math.stackexchange.com/questions/833541/making-friends-around-a-circular-table

   Mathematica 2

3. Command Line Magic Command Line Magic

   1

   # Utilities

   2

   ## Shell

   3

     + `zsh`, plus:

   4

       + [`oh_my_zsh`](https://ohmyz.sh/) and [`powerlevel9k`](https://github.com/Powerlevel9k/powerlevel9k)

   5

       + [`zsh-autosuggestions`](https://github.com/zsh-users/zsh-autosuggestions) plugin: "suggests commands as you type based on history and completions."

4. PiTimelapse PiTimelapse Public

   Timelapse photography with the Raspberry Pi camera.

   Python 1

5. supervised-output-feedback supervised-output-feedback Public

   Supervised learning approaches to generating an output feedback controller for a Dubin's car.

   Jupyter Notebook