Pinned Repositories
cocktails_for_programmers
Сocktails for programmers. Коктейли для программистов.
codegeneratoren
Codegeneratoren at Technical University of Vienna
editorswitcher
Editor Switcher for Joomla 3.x
libwnck
This is a copy of the libwnck code on git.gnome.org
masterylearning
Mastery learning based interactive e-learning platform.
simple-model-checker
A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.
tilda
A Gtk based drop down terminal for Linux and Unix
tilda-debian
Debian specific packaging data for tilda
window-picker-applet
A port of the window-picker-applet to Gnome 3
lanoxx's Repositories
lanoxx/tilda
A Gtk based drop down terminal for Linux and Unix
lanoxx/cocktails_for_programmers
Сocktails for programmers. Коктейли для программистов.
lanoxx/libwnck
This is a copy of the libwnck code on git.gnome.org
lanoxx/window-picker-applet
A port of the window-picker-applet to Gnome 3
lanoxx/editorswitcher
Editor Switcher for Joomla 3.x
lanoxx/simple-model-checker
A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.
lanoxx/codegeneratoren
Codegeneratoren at Technical University of Vienna
lanoxx/masterylearning
Mastery learning based interactive e-learning platform.
lanoxx/tilda-debian
Debian specific packaging data for tilda
lanoxx/ldsc
Large Scale Distributed Computing
lanoxx/ProgrammableCalculator
Programmiersprachen
lanoxx/angular-katex
Use KaTex with AngularJS
lanoxx/c-udp-sockets
lanoxx/fmi
Formal Methods
lanoxx/FreeRDP
FreeRDP is a free remote desktop protocol client
lanoxx/fuml-refactoring
Refactoring of fUML activitiy diagrams and class diagrams
lanoxx/gnome-panel
Panel
lanoxx/gtk-menu-scroll-test
A minumum working example to reproduce a bug in GtkMenu
lanoxx/html-webpack-plugin
Simplifies creation of HTML files to serve your webpack bundles
lanoxx/InterpretorTool
Interpretor for a simple grammar that executes unix commands
lanoxx/kubelogin
kubectl plugin for Kubernetes OpenID Connect authentication
lanoxx/libxmljs
libxml bindings for v8 javascript engine
lanoxx/ovn-kubernetes
Kubernetes integration for OVN
lanoxx/Remmina
The GTK+ Remmina Remote Desktop Client
lanoxx/statesync
lanoxx/website
Kubernetes website and documentation repo: