guancio

Netfarm s.r.l.Pisa

Pinned Repositories

armv8bil
Language:Standard ML1 3 01
bap
bap
Language:OCaml1 2 00
ChromeOsSubtitle
ChromeOsSubtitle video player
Language:JavaScript63 44 8233
emacs-calfw
A calendar framework for Emacs
Language:Emacs Lisp10
emacsconfig
My emacs configuration
Language:Emacs Lisp10
kth-on-rpi2
Language:C83
MobiMS
Mobile Mail Server
Language:Python30
org-chef
Language:Python20
org-fit
Language:Python76 7 105
swa-android
Language:Java25

guancio's Repositories

guancio/org-fit
Language:Python76 7 105
guancio/org-chef
Language:Python20
guancio/swa-android
Language:Java25
guancio/GardenApp
Language:Java1 2 0
guancio/JSONExample
Language:Java1
guancio/SecLecture
Security Lectures
Language:TeX1 2 01
guancio/8VIM
A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.
Language:Java
guancio/android-othello
Language:Java2 01
guancio/arlcg
guancio/Canvas2
Language:Java2 0
guancio/Canvas3
Language:Java2 0
guancio/doomconf
Language:Emacs Lisp
guancio/emacs
Language:Emacs Lisp2 0
guancio/experiments_java
Language:Java4
guancio/FirebaseExample
Language:Java2 0
guancio/google-contacts.el
Google Contacts for Emacs
Language:Emacs Lisp
guancio/handy-brawl
Language:Python1 01
guancio/helm-org-contacts
A helm source for org-contacts
Language:Emacs Lisp
guancio/HolBA
binary analysis in HOL - from https://gits-15.sys.kth.se/HOL-binary-analysis/HolBA
Language:Standard ML
guancio/Iot2.0
Language:Java2 0
guancio/LIstViewAdapter
Language:Java
guancio/org-sync
Language:Emacs Lisp2 0
guancio/SampleStorageJSON
Language:Java2 0
guancio/sda-boardgame
Language:Java1
guancio/Sda-Converter1
Language:Java
guancio/SuperNiceAndroidApp
Language:Java
guancio/swa-sql
Language:Java2 0
guancio/thumb-key
A privacy-conscious Android keyboard made for your thumbs
guancio/TSDZ2-Smart-EBike
Flexible OpenSource firmware for TongSheng TSDZ2 mid drive ebike motor and pheriperals
Language:C
guancio/xah-fly-keys
the most efficient keybinding for emacs