dogsleg

Yekaterinburg, Russia

Pinned Repositories

cheat
cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.
Language:Go12.5k 190 235822
.emacs.d
My GNU Emacs configuration files
Language:Emacs Lisp00
dotfiles
My dotfiles
Language:Haskell2 2 00
lazytools
Mostly obsolete utils
Language:Python0 1 00
lia
Some pretty old experiments in intuitionistic logic using Agda
Language:Agda1 1 00
spacemacs-pkgs
Script to fetch and process a list of Emacs packages from Spacemacs source code
Language:Python1 2 01
YSTR-Convert
Perl module to convert one's original STR data between various STR formats
Language:Perl0 1 00
GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
Language:TeX441 64 838
DS-PhPL
Discussion Seminar: Philosophy of Programming Lanugages
Language:JavaScript13 5 13
swipl-devel
SWI-Prolog Main development repository
Language:C998 49 768176

dogsleg's Repositories

dogsleg/dotfiles
My dotfiles
Language:Haskell2 2 00
dogsleg/lia
Some pretty old experiments in intuitionistic logic using Agda
Language:Agda1 1 00
dogsleg/spacemacs-pkgs
Script to fetch and process a list of Emacs packages from Spacemacs source code
Language:Python1 2 01
dogsleg/.emacs.d
My GNU Emacs configuration files
Language:Emacs Lisp00
dogsleg/lazytools
Mostly obsolete utils
Language:Python0 1 00
dogsleg/YSTR-Convert
Perl module to convert one's original STR data between various STR formats
Language:Perl0 1 00