Roberto Guanciale's repositories
SecLecture
Security Lectures
8VIM
A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.
Language:JavaApache-2.0000
000
Language:Emacs Lisp000
Language:Java000
google-contacts.el
Google Contacts for Emacs
Language:Emacs Lisp000
Language:Python000
helm-org-contacts
A helm source for org-contacts
Language:Emacs LispGPL-3.0000
HolBA
binary analysis in HOL - from https://gits-15.sys.kth.se/HOL-binary-analysis/HolBA
Language:Standard ML000
Language:Java000
Language:Java000
Language:Java000
Language:Java000
thumb-key
A privacy-conscious Android keyboard made for your thumbs
AGPL-3.0000
TSDZ2-Smart-EBike
Flexible OpenSource firmware for TongSheng TSDZ2 mid drive ebike motor and pheriperals
Language:CGPL-3.0000
xah-fly-keys
the most efficient keybinding for emacs
000