Emily Herbert emilyaherbert

Pinned

1. pl-papers

   Accumulative review of programming languages and systems papers.

   TeX 1

2. cv

   CV and resume, written in LaTeX.

   TeX

3. emilyaherbert.github.io

   Personal Website

   JavaScript

4. verified-tensor-operations

   Attempt at creating a tensor type in Idris with dimension-safe operations.

   Idris 1

5. Rotating PS1 colors, place in .bashrc.

   1

   declare -a promptarr=("e" "m" "i" "l" "y" "@" "e" "m" "i" "l" "y" "h" "e" "r" "b" "e" "r" "t")

   2

   declare -a colorsarr=("\[\033[0;31m\]" "\[\033[0;33m\]" "\[\033[0;32m\]" "\[\033[0;34m\]" "\[\033[0;35m\]" "\[\033[0;36m\]")

   3

   4

   coloroffset=0

   5

   promptarrlen=${#promptarr[@]}