PhD Student
-
Imperial College London
- London, United Kingdom
- https://www.doc.ic.ac.uk/~gcs817/
Highlights
- Pro
Block or Report
Block or report Gabisampaio
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Promise based wrapper for webworkers
A static analyzer for Java, C, C++, and Objective-C
RxJava 2 Android Examples - How to use RxJava 2 in Android
Soletta Project is a framework for making IoT devices. With Soletta Project's libraries developers can easily write software for devices that control actuators/sensors and communicate using standar…
PVS specification files for the theory of Software Product Line Refinement