Popular repositories Loading

1. cmdlist.el cmdlist.el Public

   Automated latex command maintenance

   Emacs Lisp 3

2. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

3. org-appear org-appear Public

   Forked from awth13/org-appear

   Toggle visibility of hidden Org mode element parts upon entering and leaving an element

   Emacs Lisp

4. onedrive onedrive Public

   Forked from abraunegg/onedrive

   #1 Free OneDrive Client for Linux

   D

5. orgzly-android-revived orgzly-android-revived Public

   Forked from orgzly-revived/orgzly-android-revived

   Outliner for taking notes and managing to-do lists

   Kotlin

6. ranger ranger Public

   Forked from ranger/ranger

   A VIM-inspired filemanager for the console

   Python