GitHub repository: Hyperproof-Demo/react
Description: A declarative, efficient, and flexible JavaScript library for building user interfaces.