Repositories
AlexandreZani/esp-rust
AlexandreZani/flutter_sample
AlexandreZani/agda-mode-vscode
agda-mode on VS Code
AlexandreZani/covers_paradox
AlexandreZani/home_config
Home Directory Configuration Files
AlexandreZani/singer_disks
AlexandreZani/Adafruit_BluefruitLE_nRF51
Arduino library for nRF51822-based Adafruit Bluefruit LE modules
AlexandreZani/pi-forall
A demo implementation of a simple dependently-typed language
AlexandreZani/tapl_tests
AlexandreZani/haskell-vim
Custom Haskell Vimscripts
AlexandreZani/spi
Experimental spi
AlexandreZani/rpdb
Remote Python Debugger based on the standard library's bdb debugger framework.
AlexandreZani/void_switch
3D printable magnetic separation contactless key switch and stabilizers (OpenSCAD files)
AlexandreZani/lockpicking_models
AlexandreZani/spartan-type-theory
Spartan type theory
AlexandreZani/rustlings
AlexandreZani/chorder
Chorder input device. See: http://chorder.cs.vassar.edu/
AlexandreZani/evil
AlexandreZani/tictactoe
AlexandreZani/ml_practice
AlexandreZani/vim_rpdb
A vim plugin which talks with rpdb (Remote Python Debugger)
AlexandreZani/eigen-mirror
Mirror of https://bitbucket.org/eigen/eigen
AlexandreZani/QuakeWarningAndroid
Earthquake Detection System for Android Phones with Accelerometer
AlexandreZani/mlsandbox
Learning some ML tools and algorithms
AlexandreZani/PythonContext
Vim plugin to display your context in a python file. (Function or Class.Method name)
AlexandreZani/stalecucumber
A reader and writer for Pythons' pickle format in Golang
AlexandreZani/cores
Teensy Core Libraries for Arduino
AlexandreZani/pycsvgeocode
Automatically exported from code.google.com/p/pycsvgeocode
AlexandreZani/alexandrezani.github.io
Blog