cajomferro
Interested in Computer Science, Biology, Astronomy, Physics and Music.
Faculdade de Ciências da Universidade de LisboaLisboa
Pinned Repositories
arduino-uno-cmake-library
Arduino Uno CMake library
basic-cmake
Basic CMake project with library and apps for Unix and AVR
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
GSM-GPRS-GPS-Shield
GSM/GPRS & GPS Shield Library for modules using SIM900/SIM908
marine-robotics-pacific
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
shelley
Shelley is a framework for model checking call ordering on hierarchical systems
googlespreadsheet2django
The library generates Django code based on a Google SpreadSheet document.
pyforms
Python layer of Windows forms, based on PyQt and OpenGL
cajomferro's Repositories
cajomferro/basic-cmake
Basic CMake project with library and apps for Unix and AVR
cajomferro/arduino-uno-cmake-library
Arduino Uno CMake library
cajomferro/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cajomferro/fret
A framework for the elicitation, specification, formalization and understanding of requirements.
cajomferro/GSM-GPRS-GPS-Shield
GSM/GPRS & GPS Shield Library for modules using SIM900/SIM908
cajomferro/marine-robotics-pacific
cajomferro/micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
cajomferro/shelley
Shelley is a framework for model checking call ordering on hierarchical systems
cajomferro/micropython_BMX160
Micropython driver for BMX160
cajomferro/plexil
cajomferro/unabiz-arduino
Arduino library for connecting UnaShield to SIGFOX network