• NowTare Tare A verification layer between AI agents and lab robots.
• Descartes Descartes Research into whether physics-aware neural networks are easier to formally verify.
• DDD DDD – Describe Design Deliver Type a description, get a 3D-printed object.
• Kingdom Kingdom A secure messaging app with a desktop client.
• Device Driver Device Driver A Linux kernel module that spins a roulette wheel of LEDs on a Raspberry Pi.
• Art Explorer Art Explorer Shows a random poem, painting or album on every visit.