Skip to content
View allispaul's full-sized avatar
1 follower · 5 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report allispaul

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 1 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