Explore projects
-
-
Izzard, Robert Dr (Maths & Physics) / binary_c-python
GNU General Public License v3.0 onlyRepository containing code to link binary_c and python
Updated -
Fork of https://github.com/umermansoor/microservices for COM3014.
Updated -
Code and dataset for "EVReflex: Dense Time-to-Impact Prediction for Event-based Obstacle Avoidance" (IROS 2021)
Updated -
-
NeMo / Repetitive Match-to-Sample
GNU General Public License v3.0 onlyUpdated -
Translation of "A Formal Approach to Secure Speculation" to Isabelle.
Updated