mbparis's starred repositories
awesome-reMarkable
A curated list of projects related to the reMarkable tablet
opentelemetry-go
OpenTelemetry Go API and SDK
coremltools
Core ML tools contain supporting tools for Core ML model conversion, editing, and validation.
jiffyreader.com
A Browser Extension for faster reading on ANY website!
ml-ane-transformers
Reference implementation of the Transformer architecture optimized for Apple Neural Engine (ANE)
api.congress.gov
congress.gov API
antplus-arduino
An Implementation of the ANT+ Network on top of ant-arduino
formalising-mathematics-2022
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
ant-arduino
An implementation of a ANT driver for Arduino, Mbed and ESP-IDF
Volvo-CAN-Gauge
Reverse engineering the Volvo VIDA protocol and CAN network to gather diagnostic information not available via OBD2 on Volvo cars.
influxdata-operator
A k8s operator for InfluxDB
Ego-Engine-Modding
Applications for modding Codemasters' Ego Engine games.
gtfs-server
A General Transit Feed Specification (GTFS) server written in Rust