Ognjen Maric's repositories
thinkpad-yoga-rotate
A small utility script to rotate
Language:SCSS000
el-get
Manage the external elisp bits and pieces upon which you depend!
Language:Emacs Lisp000
hoodle
hoodle : A pen notetaking program written in haskell
Language:Haskell000
jepsen
Call Me Maybe: simulating network partitions in DBs
Language:Clojure000
pulseaudio-raop2
Experimental RAOP2 (Apple AirPlay2) support for PulseAudio
Language:CNOASSERTION000
sbt-site
Site generation for sbt
Language:ScalaNOASSERTION000
spin
a small utility to assist in setting usage modes of laptop-tablet devices
Language:PythonGPL-3.0000
stack
The Haskell Tool Stack
Language:HaskellNOASSERTION000
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:HaskellGPL-3.0000
zfoh.ch
Our homepage
Language:JavaScriptNOASSERTION000