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

Ce projet est un framework d'interface utilisateur modulaire pour les applications Vue qui fournit une collection de composants réutilisables construits avec Tailwind CSS. Il fonctionne comme un outil de système de conception piloté par la configuration, permettant aux développeurs de maintenir une cohérence visuelle sur des applications complexes grâce à une gestion centralisée des thèmes et un style basé sur les utilitaires. La bibliothèque se distingue par une architecture hautement configurable qui prend en charge le mappage de style basé sur les variantes et la personnalisation des instances de composants. Les développeurs peuvent définir des valeurs par défaut globales ou créer plusieurs versions du même élément d'interface, permettant une commutation visuelle dynamique et des remplacements de propriétés spécifiques sans dupliquer le code. Cette approche garantit que les composants restent flexibles tout en adhérant à un langage de conception unifié. Le framework couvre un large éventail d'exigences d'interface, y compris des outils spécialisés pour la sélection de date et d'heure et la conception structurée de saisie de formulaire. Il met l'accent sur les performances en prenant en charge les optimisations au moment de la compilation, telles que l'importation sélective de composants et la suppression des définitions de style inutilisées, pour minimiser la taille finale du bundle de l'application.