Popular repositories Loading

1. arxiv2bibtex arxiv2bibtex Public

   A simple rust library to convert arXiv identifiers to BibTeX entries.

   Rust 1

2. noteshrink-rs noteshrink-rs Public

   Rust rewrite of Matt Zucker's noteshrink (https://github.com/mzucker/noteshrink) which converts scans of handwritten notes to beautiful, compact PDFs.

   Rust 1

3. analysis analysis Public

   Forked from teorth/analysis

   A Lean companion to Analysis I

   Lean

4. Auto-delete-Custom-Study-Session Auto-delete-Custom-Study-Session Public

   Deletes Custom Study Sessions automatically once you're done with them.

   Python

5. Anki-Review-Button Anki-Review-Button Public

   Adds a review button to a deck's overview page.

   Python

6. linear-algebra linear-algebra Public

   Forked from little-book-of/linear-algebra

   There is hardly any theory which is more elementary than linear algebra, in spite of the fact that generations of professors and textbook writers have obscured its simplicity by preposterous calcul…

   TeX