formal verification in Rust

Excellent :)

À pied ou à vélo, ayez le réflexe Vigilo

Hello ! Cette semaine sur Twitter j’ai été contacté par une utilisatrice qui avait vu le tweet ci-dessus et qui me demandait mon avis sur les caméras. Ce qui tombe très bien car j’adore…

Une «sonde de debug» pour le FPGA opensource basée sur Amaranth.

Une «sonde de debug» pour le FPGA opensource basée sur Amaranth.

Un logiciel libre pour faire de l'équivalence entre composants HDL.
Très pratique pour faire du refactoring.

Quand votre système est trop petit pour utiliser Linux, prenez Zephyr ;)

Prenez une photo du contenu de votre boite de legos, brickton vous propose des modèles à réaliser !

:( :( :( :(

Un langage de programmation pour analyser les traces VCD.

Créé en 2014 par l'Orchestre symphonique allemand de Berlin , le Symphonic Mob© offre à tous ceux qui pratiquent un instrument, la possibilité de faire de la musique avec les musiciens d'un orchestre professionnel. Quiconque peut ainsi participer, peu importe l'âge ou le niveau, tout le monde est le bienvenu ! Il faut juste de l'enthousiasme et un instrument : le reste se fera tout seul.

Always nice to see more developers open up their games. ROTA released back in 2022 is now not only free, but it's also been made open source by the dev.

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

Mhuahahaha !
Le fascisme ne fait plus recette