My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
A self-conscious house (digital twin) that manages all your house related bills and home improvements which is capable of monitoring government issued subsidies and apply for them when the house its action framework matches the subsidy. This way, we unburden the house owner of house-related management tasks or the need for being aware of each government issued subsidy. Only recognized contractors are able to join the reversed marketplace where they can bid for house related jobs like installing solar panels. The house will suggest the most fitting contractor, however, the final decision lies with the house owner. The government benefits from this system as it can monitor the progress of its subsidies and tailor it if needed. It's a more efficient way of spreading information with regards to subsidies.