Un moteur SQL pour faire des recherches dans un code en langage C.
Original, à voir si c'est utile.

Comment faire de la preuve formelle en C

Rust vs C sur un microcontrôleur.

Rust pour les développeurs C embarqué

Un «Bounded Model Checker» pour le C et le C++

Bonne référence sur l'usage du port série en C sous Linux.

Pipeline C permet de décrire un composant numérique en C puis de générer du VHDL pour la synthèse.

Un bug qui m'a bien fait chier. Alors je partage ;)

Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V

cd freedom-e-sdk
make software PROGRAM=led_fade
make upload PROGRAM=led_fade

/me découvre la vie. Je viens de découvrir qu'il y a une commande bash printf ! Elle se comporte grosso-modo comme la fonction C :

$ printf 'coucou %.02f\n' 2,9876
coucou 2,99

Comment calculer une FFT

Le projet de framework HDL libre de l'université de Milan

La news hackaday sur Cynth, le soft de conversion de programme C en verilog.

oui !

Une petite lib écrite en C pour parser des fichiers de config .ini