Pinned Repositories
amph1
base16-tridactyl
Base16 Themes for the firefox tridactyl plugin
cyberia-typora-theme
Cyberia is a high contrast typora theme inspired by "Serial Experiments Lain".
firefox-i3wm-theme
i3 and qutebrowser inspired theme for firefox
hol-light
The HOL Light theorem prover
HoTTEST-Summer-School
HoTTEST Summer School materials
licenses
Licenses approved by Team Digitale, ready to use in your repository
LogicTimeline
A timeline of logic and foundations of mathematics
lrda-posts
musik-lexikon
xissshawww's Repositories
xissshawww/cyberia-typora-theme
Cyberia is a high contrast typora theme inspired by "Serial Experiments Lain".
xissshawww/musik-lexikon
xissshawww/amph1
xissshawww/base16-tridactyl
Base16 Themes for the firefox tridactyl plugin
xissshawww/firefox-i3wm-theme
i3 and qutebrowser inspired theme for firefox
xissshawww/hol-light
The HOL Light theorem prover
xissshawww/HoTTEST-Summer-School
HoTTEST Summer School materials
xissshawww/licenses
Licenses approved by Team Digitale, ready to use in your repository
xissshawww/LogicTimeline
A timeline of logic and foundations of mathematics
xissshawww/lrda-posts
xissshawww/md2html-lrad
automatically convert md fires to html fires
xissshawww/nofrils-acme-theme
Port of "No Frils Acme" Vim theme
xissshawww/pd-themes
Various themes created for pdnext
xissshawww/scbookcode
The code examples used in the SuperCollider book published by MIT
xissshawww/sioyek
xissshawww/templeos
Installation and synchronization scripts for use with QEMU, along with all of Terry's supplemental material and options for theme customization
xissshawww/xissshawww
xissshawww/xissshawww.github.io