tiferrei

He/Him • Computer Scientist @UCL-PPLV

@UCL-PPLVLondon, UK

Pinned Repositories

automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Language:Java91 12 3634
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
Language:Java62 10 625
main
Code and resources for model learning of network protocol implementations
Language:Shell18 7 03
APIBuddy
A small UCLKit based project to helo UCL API developers.
Language:Swift0 2 00
astrobee
NASA Astrobee Robot Software
Language:C++0 1 00
ayu-vim
Modern theme for modern VIMs (with VS Code colours)
Language:Vim Script00
fuelband
Language:Python62
UCLKit
UCL API wrapper in Swift
Language:Swift5 3 130

tiferrei's Repositories

tiferrei/fuelband
Language:Python62
tiferrei/UCLKit
UCL API wrapper in Swift
Language:Swift5 3 130
tiferrei/APIBuddy
A small UCLKit based project to helo UCL API developers.
Language:Swift0 2 00
tiferrei/astrobee
NASA Astrobee Robot Software
Language:C++0 1 00
tiferrei/ayu-vim
Modern theme for modern VIMs (with VS Code colours)
Language:Vim Script00
tiferrei/CJP2.0
CJP2.0 programming scripts for Brasil 2014
Language:Arduino00
tiferrei/contributor-playground
Language:Dockerfile0 0 00
tiferrei/fah
Language:Dockerfile0 2 00
tiferrei/firmata
Ocaml library to control Firmata boards like Arduino
Language:C++
tiferrei/fuelband-usb
Python script to access the "Nike+ FuelBand" via the USB HID interface
tiferrei/grub-ia32
Language:Shell
tiferrei/nerode
tiferrei/NocNoc
A simple iOS tool to test Audio Input
Language:Swift
tiferrei/nominal-lstar
Code for "Learning nominal automata"