Lev Lamberov (@dogsleg)
github

dogsleg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,604,624 (Top 56 %)
  • Followers 14
  • Following 28
  • Registered about 12 years ago
  • Most used languages
    Agda     33.3 %
    Haskell
         33.3 %
    Python
         33.3 %
  • Location 🇷🇺 Russia
  • Country Total Rank 16,453
  • Country Ranking
    Agda     5
    Haskell
         120
    Python
         7,114

Top repositories

1

dotfiles

My dotfiles
Haskell
2
star
2

lia

Some pretty old experiments in intuitionistic logic using Agda
Agda
1
star
3

spacemacs-pkgs

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