Ben's repositories
gnome-plugin.custom-menu-panel
Custom menu on Gnome Top Bar with your favorite program shortcuts.
linux.tips
Various hints, bookmarks, suggestions and hacks
andreabenini.github.io
github Public Site
hacks.hardware
Hardware hacks of any kind, dumps, mods, diy tools and so on
CAD-Design-3Dprint
3D print settings, materials, tests, objects
pi.Projects
Assorted Raspberry Pi Projects
python.code
Assorted python code
codemap.vscode
Code map (syntax tree) of the active document
converse.js
Web-based XMPP/Jabber chat client written in javascript
ejabberd-contrib
Growing and curated ejabberd contributions repository - PR or ask to join !
erlang.fast_xml
Fast Expat based Erlang XML parsing library
erlang.recon
Collection of functions and scripts to debug Erlang in production.
github-calendar
:bar_chart: Embed your GitHub calendar everywhere.
jitsi-meet
Jitsi Videobridge meets WebRTC
jpl-open-source-rover
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
parsimonious
The fastest pure-Python PEG parser I can muster
pi.documentation
Official documentation for the Raspberry Pi
theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
tmk_keyboard
Keyboard firmwares for Atmel AVR and Cortex-M
todo.txt-cli
A simple and extensible shell script for managing your todo.txt file.
zeromq-guide
Learning and Using ØMQ