Awesome GitHub RepositoriesComponent Instance Registries

Flowbite is a cross-framework UI library and design system built as a collection of pre-styled components and layout blocks using Tailwind CSS utility classes. It functions as a TypeScript UI toolkit and a general web framework for creating responsive websites and applications. The project provides a mirroring Figma design system to allow prototyping of components and variants before they are coded. It distinguishes itself through an AI-driven approach to page generation and the creation of design specifications via a command-line interface. The library covers a wide range of interactive int

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Este proyecto es un framework de interfaz de usuario modular para aplicaciones Vue que proporciona una colección de componentes reutilizables construidos con Tailwind CSS. Funciona como una herramienta de sistema de diseño impulsada por configuración, permitiendo a los desarrolladores mantener la consistencia visual en aplicaciones complejas a través de la gestión centralizada de temas y estilos basados en utilidades. La librería destaca por una arquitectura altamente configurable que admite el mapeo de estilos basado en variantes y la personalización de instancias de componentes. Los desarrolladores pueden definir valores predeterminados globales o crear múltiples versiones del mismo elemento de interfaz, permitiendo el cambio visual dinámico y anulaciones de propiedades específicas sin duplicar código. Este enfoque asegura que los componentes permanezcan flexibles mientras se adhieren a un lenguaje de diseño unificado. El framework cubre una amplia gama de requisitos de interfaz, incluyendo herramientas especializadas para la selección de fecha y hora y el diseño de formularios estructurados. Enfatiza el rendimiento al admitir optimizaciones en tiempo de compilación, como la importación selectiva de componentes y la eliminación de definiciones de estilo no utilizadas, para minimizar el tamaño final del bundle de la aplicación.