Ikos74
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3.2K
Stars
74/100
Confiance
Catégorie: developmentAudit
Annuaire de skills
Découvrez des skills réutilisables pour les AI agents.
Recherchez de vrais skills GitHub par tâche et vérifiez Stars, confiance, audit, catégorie et chemin d’installation avant de les utiliser.
Chaque recommandation reste clairement reliée à son dépôt, son audit et son chemin d’installation.
Résultats de recherche: nasa-gibs
Annuaire en anglaisRenderer for 3D Tiles in Javascript using three.js, Babylon.js, and r3f
2.3K
Stars
80/100
Confiance
Catégorie: geo-scienceAudit
Interactive interface for browsing global, full-resolution satellite imagery
1.1K
Stars
74/100
Confiance
Catégorie: data-analysisAudit
Ogma71
Generator of runtime monitors for flight and robotics applications.
566
Stars
71/100
Confiance
Catégorie: robotics-iotAudit
MMGIS70
Multi-Mission Geographic Information System - A Web-based Mapping and Spatial Data Infrastructure for Earth, Lunar and Planetary Visualization, Research, Science, Planning and Operations.
207
Stars
70/100
Confiance
Catégorie: geo-scienceAudit
Beagle68
A marketplace of framework-aware agent skills for code review, documentation, test generation, and git workflows across multiple programming languages.
72
Stars
68/100
Confiance
Catégorie: coding-agentsAudit
The NASA WorldWind Java SDK (WWJ) is for building cross-platform 3D geospatial desktop applications in Java.
783
Stars
64/100
Confiance
Catégorie: geo-scienceAudit
Nasa.Js62
星云链 DApp 客户端开发框架，轻量，易用 | Lightweight and friendly util library for DApp development on Nebulas Blockchain.
123
Stars
62/100
Confiance
Catégorie: web3-analyticsAudit
Perseverance and Ingenuity URDF models used for operations visualization
104
Stars
57/100
Confiance
Catégorie: robotics-iotAudit