Pinned Repositories
6-digit-7-Segment-Arduino
A Arduino-Library that allows you to easily controll a 6-digit 7-Segment Multiplex Matrix (e.g. E60301-L-O-0-W) with a 8-Bit-Shiftregister (e.g. M74HC595)
breaktimer-app
Manage periodic breaks. Avoid eye-strain and RSI.
gitea
Git with a cup of tea, painless self-hosted git service
Kaidan
Kaidan, the first fully convergent and cross-platform Jabber/XMPP Instant Messenger
MPCTT
Modeling and Proving in Computational Type Theory
planka
The realtime kanban board for workgroups built with React and Redux.
pywebpush
Python Webpush Data encryption library
Snips-DatumUhrzeit
Ein Datum-/Uhrzeit-Skill für Snips.ai
socketIO-client-2
A socket.io client library for Python
SOSML-frontend
SohnyBohny's Repositories
SohnyBohny/6-digit-7-Segment-Arduino
A Arduino-Library that allows you to easily controll a 6-digit 7-Segment Multiplex Matrix (e.g. E60301-L-O-0-W) with a 8-Bit-Shiftregister (e.g. M74HC595)
SohnyBohny/breaktimer-app
Manage periodic breaks. Avoid eye-strain and RSI.
SohnyBohny/gitea
Git with a cup of tea, painless self-hosted git service
SohnyBohny/Kaidan
Kaidan, the first fully convergent and cross-platform Jabber/XMPP Instant Messenger
SohnyBohny/MPCTT
Modeling and Proving in Computational Type Theory
SohnyBohny/planka
The realtime kanban board for workgroups built with React and Redux.
SohnyBohny/pywebpush
Python Webpush Data encryption library
SohnyBohny/Snips-DatumUhrzeit
Ein Datum-/Uhrzeit-Skill für Snips.ai
SohnyBohny/socketIO-client-2
A socket.io client library for Python
SohnyBohny/SOSML-frontend
SohnyBohny/SuperMario
Source Code from my Creating Super Mario Bros YouTube Tutorials