- Yekaterinburg, Russia
- https://www.pimentola.ru
-
-
-
-
spacemacs-pkgs Public
Script to fetch and process a list of Emacs packages from Spacemacs source code
-
lia Public
Some pretty old experiments in intuitionistic logic using Agda
-
YSTR-Convert Public
Perl module to convert one's original STR data between various STR formats
Perl UpdatedApr 24, 2018