Ikos74
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3.2K
Stars
74/100
Confianza
Categoría: developmentAuditoría
Directorio de skills
Descubre skills reutilizables para AI agents.
Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.
Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.
Resultados de búsqueda: nasa
Directorio en inglésRenderer for 3D Tiles in Javascript using three.js, Babylon.js, and r3f
2.3K
Stars
80/100
Confianza
Categoría: geo-scienceAuditoría
Interactive interface for browsing global, full-resolution satellite imagery
1.1K
Stars
74/100
Confianza
Categoría: data-analysisAuditoría
Ogma71
Generator of runtime monitors for flight and robotics applications.
566
Stars
71/100
Confianza
Categoría: robotics-iotAuditoría
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
Confianza
Categoría: geo-scienceAuditoría
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
Confianza
Categoría: coding-agentsAuditoría
The NASA WorldWind Java SDK (WWJ) is for building cross-platform 3D geospatial desktop applications in Java.
783
Stars
64/100
Confianza
Categoría: geo-scienceAuditoría
Nasa.Js62
星云链 DApp 客户端开发框架，轻量，易用 | Lightweight and friendly util library for DApp development on Nebulas Blockchain.
123
Stars
62/100
Confianza
Categoría: web3-analyticsAuditoría
Perseverance and Ingenuity URDF models used for operations visualization
104
Stars
57/100
Confianza
Categoría: robotics-iotAuditoría