oggy-

Pinned Repositories

blog
Language:SCSS00
el-get
Manage the external elisp bits and pieces upon which you depend!
Language:Emacs Lisp0 0 00
hoodle
hoodle : A pen notetaking program written in haskell
Language:Haskell0 0 00
jepsen
Call Me Maybe: simulating network partitions in DBs
Language:Clojure0 0 00
pulseaudio-raop2
Experimental RAOP2 (Apple AirPlay2) support for PulseAudio
Language:C00
sbt-site
Site generation for sbt
Language:Scala0 0 00
spin
a small utility to assist in setting usage modes of laptop-tablet devices
Language:Python0 0 00
stack
The Haskell Tool Stack
Language:Haskell0 0 00
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell0 0 00
thinkpad-yoga-rotate
A small utility script to rotate
Language:Shell11 1 046

oggy-'s Repositories

oggy-/thinkpad-yoga-rotate
A small utility script to rotate
Language:Shell11 1 046
oggy-/blog
Language:SCSS00
oggy-/el-get
Manage the external elisp bits and pieces upon which you depend!
Language:Emacs Lisp0 0 00
oggy-/hoodle
hoodle : A pen notetaking program written in haskell
Language:Haskell0 0 00
oggy-/jepsen
Call Me Maybe: simulating network partitions in DBs
Language:Clojure0 0 00
oggy-/pulseaudio-raop2
Experimental RAOP2 (Apple AirPlay2) support for PulseAudio
Language:C00
oggy-/sbt-site
Site generation for sbt
Language:Scala0 0 00
oggy-/spin
a small utility to assist in setting usage modes of laptop-tablet devices
Language:Python0 0 00
oggy-/stack
The Haskell Tool Stack
Language:Haskell0 0 00
oggy-/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell0 0 00
oggy-/zfoh.ch
Our homepage
Language:JavaScript0 0 00