Lev Lamberov (dogsleg)

dogsleg

Geek Repo

Location:Yekaterinburg, Russia

Home Page:https://www.pimentola.ru

Github PK Tool:Github PK Tool

Lev Lamberov's repositories

dotfiles

My dotfiles

Language:HaskellStargazers:2Issues:2Issues:0

lia

Some pretty old experiments in intuitionistic logic using Agda

Language:AgdaLicense:GPL-3.0Stargazers:1Issues:1Issues:0

spacemacs-pkgs

Script to fetch and process a list of Emacs packages from Spacemacs source code

Language:PythonLicense:GPL-3.0Stargazers:1Issues:2Issues:0

.emacs.d

My GNU Emacs configuration files

Language:Emacs LispStargazers:0Issues:0Issues:0

lazytools

Mostly obsolete utils

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

YSTR-Convert

Perl module to convert one's original STR data between various STR formats

Language:PerlStargazers:0Issues:0Issues:0