Popular repositories Loading

1. spacemacs-lean4-layer spacemacs-lean4-layer Public

   Spacemacs configuration layer for the Lean 4 theorem prover, using lean-mode

   Emacs Lisp 2 1

2. pyzotero-local pyzotero-local Public

   Forked from honeyspoon/pyzotero-local

   A Python tool kit for interacting with the locally hosted Zotero database.

   Python 1

3. adventofcode adventofcode Public

   Advent of Code competitions

   Python

4. stats-notebooks stats-notebooks Public

   Notes and interactive visualizations for some topics in probability and statistics

   Jupyter Notebook

5. scrolls scrolls Public

   Various work on the Vesuvius Challenge

   Jupyter Notebook

6. rymscraper rymscraper Public

   Forked from dbeley/rymscraper

   Python API to extract data from rateyourmusic.com.

   Python