Automated porting of models from C to Verilog-A
Funded solution
Secure firmware updates, also via fwupd
Secure payments for P2P classified adds federating with ActivityPub
Bookkeeping but in a portable, offline-first and privacy-friendly way