Pinned Repositories
yubikey-oath-dmenu
dmenu interface for getting OATH codes from a YubiKey
configfoo
manpage autocompletion and tagjumping with ctags indicies
VeWote-Backend
ImmuDate
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
pygments
Pygments is a generic syntax highlighter written in Python
pynusmv
Python binding for NuSMV.
qmc5883-gas-counter
Program to monitor the consumption of gas used for heating in a household.
yubikey-oath-dmenu
dmenu interface for getting OATH codes from a YubiKey
relatev's Repositories
relatev/ImmuDate
relatev/qmc5883-gas-counter
Program to monitor the consumption of gas used for heating in a household.
relatev/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
relatev/pygments
Pygments is a generic syntax highlighter written in Python
relatev/pynusmv
Python binding for NuSMV.
relatev/yubikey-oath-dmenu
dmenu interface for getting OATH codes from a YubiKey