Formalizations of Gödel's Ontological Proof of God's Existence

Qt5 Graphical MPD Client

A sample project containing usefull verbose aliases, for those who feel lost and angry at git. Basically for those Polish folks, who scream "Git, kurwa!".

Grumpy is a Python to Go source code transcompiler and runtime.

Go development plugin for Vim

The Go programming language

Keyboard firmwares for Atmel AVR and Cortex-M