Berkeley Churchill
Results
2
repositories owned by
Berkeley Churchill
pldi19-equivalence-checker
30
Stars
8
Forks
Watchers
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
xmonad-pulsevolume
19
Stars
4
Forks
Watchers
Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar