Popular repositories Loading

1. hotcompilation hotcompilation Public

   Notes for 15-417 (Higher Order Typed Compilation)

   TeX 5 2

2. tutch tutch Public

   tutch is a tool for checking constructive proofs

   Standard ML 1

3. urxvt urxvt Public

   Patched version of urxvt (for my uses)

   C 1

4. rmanne.github.io rmanne.github.io Public

   CSS

5. Antibody Antibody Public

   JavaScript

6. paralleldfaminimization paralleldfaminimization Public

   Parallel DFA Minimization

   C++