NickFoubert

Pinned Repositories

ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada226 36 19354
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada103 11 7866
adxl-visualize
Visualize the output from an ADXL3XX+Arduino using Python+PySerial+wx
Language:Python10
aJson
aJson is an Arduino library to enable JSON processing with Arduino. It easily enables you to decode, create, manipulate and encode JSON directly from and to data structures.
Language:C++00
BonjourHTTP
A dead simple HTTP service discovery app for Android.
Language:Java6 1 15
esp32-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
Language:Ada00
openmrs
Unofficial mirror repository of openmrs
Language:Java10
simple-segment
Piecewise linear representation of 1D data in Python
Language:Python89 5 138

NickFoubert's Repositories

NickFoubert/simple-segment
Piecewise linear representation of 1D data in Python
Language:Python89 5 138
NickFoubert/BonjourHTTP
A dead simple HTTP service discovery app for Android.
Language:Java6 1 15
NickFoubert/adxl-visualize
Visualize the output from an ADXL3XX+Arduino using Python+PySerial+wx
Language:Python10
NickFoubert/openmrs
Unofficial mirror repository of openmrs
Language:Java10
NickFoubert/aJson
aJson is an Arduino library to enable JSON processing with Arduino. It easily enables you to decode, create, manipulate and encode JSON directly from and to data structures.
Language:C++00
NickFoubert/esp32-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
Language:Ada00