
Starred repositories
Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!
A fancy and fast mode-line inspired by minimalism design.
Interface emacs with Zotero via the zotxt extension
Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
💫 vertico.el - VERTical Interactive COmpletion
Bugs, suggestions or free discussions about the minimal markdown editor — Typora
Next Generation of ShadowsocksX
A theme / color scheme for iTerm2 based on Google's Material Design Color Palette
Dim the font color of text in surrounding paragraphs
Make Emacs use the $PATH set up by the user's shell
Show vertical lines to guide indentation
my fork of MenuMeters by http://www.ragingmenace.com/software/menumeters/
Ripser: efficient computation of Vietoris–Rips persistence barcodes
Python code for corresponding blog post on Towards Data Science
Pedagogical Jupyter notebooks for topological data analysis. Topics include basic shapes, sliding window audio/video, lower star filtrations, 3D shapes, spaces of images patches
The mathematical study of type theories, in univalent foundations
Kepler Mapper: A flexible Python implementation of the Mapper algorithm.
Emacs Python Development Environment
Jupyter notebook client in Emacs
A set of jupyter notebooks for the practice of TDA with the python Gudhi library together with popular machine learning and data sciences libraries.