franziskuskiefer/gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
Discovered public repositories for franziskuskiefer in the GitHub catalog.
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
Gnome-Shell extension that shows the current focused window's title in the status bar instead of app name.
A mediaplayer indicator for the gnome-shell.
A simple, full website theme for ghost
PoW Android Demo Application
Drop-down terminal for GNOME
easily create Chrome web apps
A collection of bibtex files with crypto papers, tagged and arranged
bunch of scripts I use ...
GNU libgcrypt and (OTR) Off-the-Record Messaging compiled to javascript using Emscripten
Bunch of examples
Bouncy Castle Java Distribution (Mirror)
Android Vault Application
GNOME Shell extension to display a panel on every monitor
Key Generator for the Vault
Utility library for http communication in Android Apps
Public repository.
Gnome media key integration for the Spotify Linux client
Interactive publications lists with JavaScript + Bibtex
This Node.js express app is a Persona IdP for delegated domains.
A simple Wunderlist-GoogleCalendar script to show ToDos in Google Calendar
Public repository.
Unity-like shortcuts for gnome dock applications
Snippets that I found useful the other day or might find useful another day.
Stanford Javascript Crypto Library
Python script for downloading all the wallpaper from interfacelift.com. With some more features than the original...