Python implementation of UDS (ISO-14229) standard.

Python588mit

12 hours ago

1422915765automotive

A library of mechanised undecidability proofs in the Coq proof assistant.

Coq109mpl-2.0

2 months ago

coq

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles)

C691bsd-3-clause

3 years ago