Python implementation of UDS (ISO-14229) standard.

Python533mit

last month

1422915765automotive

Official repository of the Autosubst 2 project.

Haskell15other

12 months ago

coqformalizationmetatheory-language

Modeling and Proving in Computational Type Theory

Coq65

6 months ago

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

Coq98mpl-2.0

6 months ago

coq

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

C635bsd-3-clause

3 years ago