Beast code in Giters

Lev Lamberov's repositories

My dotfiles

Language:Haskell2 20

Some pretty old experiments in intuitionistic logic using Agda

Language:AgdaGPL-3.01 10

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

Language:PythonGPL-3.01 20

My GNU Emacs configuration files

Language:Emacs Lisp000

Mostly obsolete utils

Language:PythonGPL-3.0000

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

Language:Perl000