bottomtype

Pinned Repositories

bottom-agda
🥺
Language:Agda0 2 00
kata-dl
Language:Haskell00
Orchis-theme
Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.
Language:CSS00
PaperWM
Tiled scrollable window management for Gnome Shell
Language:JavaScript00
doomemacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp18.9k 236 4.4k3k

bottomtype's Repositories

bottomtype/bottom-agda
🥺
Language:Agda0 2 00
bottomtype/kata-dl
Language:Haskell00
bottomtype/Orchis-theme
Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.
Language:CSS00
bottomtype/PaperWM
Tiled scrollable window management for Gnome Shell
Language:JavaScript00