Ikos74
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3.2K
Stars
74/100
Kepercayaan
Kategori: developmentAudit
Direktori skill
Temukan skill yang dapat digunakan kembali untuk AI agents.
Cari skill GitHub nyata berdasarkan tugas lalu periksa stars, trust, audit, kategori, dan jalur pemasangan sebelum digunakan.
Setiap rekomendasi tetap terhubung dengan repositori, audit, dan jalur pemasangannya.
Hasil pencarian: nasa-gibs
Direktori bahasa InggrisRenderer for 3D Tiles in Javascript using three.js, Babylon.js, and r3f
2.3K
Stars
80/100
Kepercayaan
Kategori: geo-scienceAudit
Interactive interface for browsing global, full-resolution satellite imagery
1.1K
Stars
74/100
Kepercayaan
Kategori: data-analysisAudit
Ogma71
Generator of runtime monitors for flight and robotics applications.
566
Stars
71/100
Kepercayaan
Kategori: 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
Kepercayaan
Kategori: 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
Kepercayaan
Kategori: coding-agentsAudit
The NASA WorldWind Java SDK (WWJ) is for building cross-platform 3D geospatial desktop applications in Java.
783
Stars
64/100
Kepercayaan
Kategori: geo-scienceAudit
Nasa.Js62
星云链 DApp 客户端开发框架，轻量，易用 | Lightweight and friendly util library for DApp development on Nebulas Blockchain.
123
Stars
62/100
Kepercayaan
Kategori: web3-analyticsAudit
Perseverance and Ingenuity URDF models used for operations visualization
104
Stars
57/100
Kepercayaan
Kategori: robotics-iotAudit