Show HN: Verse – An AI writing tool for poets, not prompt engineersversecraft.org·1 pts·MADEinPARIS·0
SolarSim – Interactive Physics-Based Solar System Simulator (Open Source)solar-sim-showcase.lovable.app·2 pts·MADEinPARIS·0
Show HN: Open-Source Reversible Debugger – Step Backwards While Debuggingreversible-execution-lab.lovable.app·3 pts·MADEinPARIS·0
Show HN: Formal Verification for Machine Learning Models Using Lean 4github.com·52 pts·MADEinPARIS·14