Popular repositories Loading

1. pldi19-equivalence-checker pldi19-equivalence-checker Public

   Forked from StanfordPL/stoke

   Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

   C++ 45 12

2. xmonad-pulsevolume xmonad-pulsevolume Public

   Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar

   Shell 18 3

3. badi-cal badi-cal Public

   A javascript library for Badi calendar conversions.

   JavaScript 11 4

4. bahai-quotes bahai-quotes Public

   A selection of quotes to appear in an application.

   Ruby 8 5

5. rack-timesec rack-timesec Public

   Rack middleware to prevent timing attacks

   Ruby 5

6. EFCacheContains EFCacheContains Public

   A library to help cache query plans using the 'contains' method for Entity Framework

   C# 4 1