Xenine's repositories
cyberia-typora-theme
Cyberia is a high contrast typora theme inspired by "Serial Experiments Lain".
000
base16-tridactyl
Base16 Themes for the firefox tridactyl plugin
Language:CSSMIT000
firefox-i3wm-theme
i3 and qutebrowser inspired theme for firefox
Language:CSSGPL-3.0000
hol-light
The HOL Light theorem prover
Language:OCamlNOASSERTION000
HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX000
licenses
Licenses approved by Team Digitale, ready to use in your repository
Language:Roff000
LogicTimeline
A timeline of logic and foundations of mathematics
Language:HTMLNOASSERTION000
Language:HTML000
md2html-lrad
automatically convert md fires to html fires
nofrils-acme-theme
Port of "No Frils Acme" Vim theme
ISC000
pd-themes
Various themes created for pdnext
Language:Tcl000
scbookcode
The code examples used in the SuperCollider book published by MIT
000
GPL-3.0000
templeos
Installation and synchronization scripts for use with QEMU, along with all of Terry's supplemental material and options for theme customization
Unlicense000