Search: github.com/nasa | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Markdown Editor Component for Vue.js

github.com/nasa8x

6 years ago

3 points

32.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

8 years ago

3 points

33.

A build-it-yourself, 6-wheel rover based on the rovers on Mars

github.com/nasa-jpl

8 years ago

3 points

34.

NASA JPL open-sourced ROSA, an AI agent for robot development and operations

github.com/nasa-jpl

2 years ago

2 points

35.

Open Source on Mars: Community Powers NASA’s Ingenuity Helicopter

github.com/readme

5 years ago

2 points

36.

Show HN: Futuristic Object Traversal for JavaScript

github.com/Nijikokun

13 years ago

2 points

37.

NASA/fprime: F´ – A flight software and embedded systems framework

github.com/nasa

2 years ago

2 points

38.

F Prime – Flight software framework by NASA

github.com/nasa

2 years ago

2 points

39.

F': Ingenuity's Open-Source Flight Software Framework

github.com/nasa

2 years ago

2 points

40.

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers

github.com/NASA-SW-VnV

3 years ago

ivanperez-keera

2 points

41.

NASA Library of Formal Method Developments

github.com/nasa

3 years ago

2 points

42.

github.com/nasa

5 years ago

2 points

43.

JPL Designed 3D Printable Covid-19-Respirators

github.com/nasa-jpl

6 years ago

2 points

44.

Nasa Astrobee Robot Software

github.com/nasa

7 years ago

2 points

45.

Nasa Photo of the Day Slack Bot

github.com/michalbe

7 years ago

2 points

46.

JPL / NASA Release Open Source Build It Yourself Rover Plans

github.com/nasa-jpl

8 years ago

2 points

47.

NASA has released its exoplanet detection pipeline for Kepler

github.com/nasa

9 years ago

2 points

48.

Node-sdk: easy access to 13 NASA APIs

github.com/AJFunk

9 years ago

2 points

49.

NASA-3D-Resources: 3D models, textures, and images from inside NASA

github.com/nasa

10 years ago

2 points

50.

Nasa/openmct: A web based mission control framework

github.com/nasa

10 years ago

2 points

51.

github.com/nasa

10 years ago

2 points

52.

NASA Inventory Tracking System Now Available on GitHub

github.com/nasa

10 years ago

2 points

53.

NASA Open MCT Web

github.com/nasa

11 years ago

2 points

54.

NASA 3D Resources

github.com/nasa

11 years ago

2 points

55.

Fret: Formal Requirements Elicitation Tool v3.0

github.com/NASA-SW-VnV

3 years ago

1 points

56.

NASA CoreFlight System (CFS)

github.com/nasa

3 years ago

1 points

57.

Nasa Astrobee Robot Software

github.com/nasa

7 years ago

1 points

58.

Surya: Foundation Model for Heliophysics

github.com/NASA-IMPACT

10 months ago

1 points

59.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

2 years ago

1 points

60.

Fprime – A flight software and embedded systems framework by NASA

github.com/nasa

2 years ago

1 points