Popular repositories Loading

1. Anki-Quizlet Anki-Quizlet Public

   Anki addon that loads decks from Quizlet.com

   Python 16 6

2. viaduct-he viaduct-he Public

   A compiler from array programs to vectorized homomorphic encryption

   Python 9

3. cs6120-autovec cs6120-autovec Public

   autovectorizer for LLVM

   C++ 7 1

4. ocaml-wasm ocaml-wasm Public

   typed webassembly backend for ocaml

   OCaml 5

5. miniml-compiler miniml-compiler Public

   A compiler for the MiniML language described in Appel's Compiling with Continuations

   Haskell 4

6. rofi-zotero rofi-zotero Public

   Open a Zotero attachment using rofi

   Python 4 3