Search: github.com/nasa | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Markdown Editor Component for Vue.js (github.com/nasa8x)

3 points

6 years ago

32.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

3 points

7 years ago

33.

A build-it-yourself, 6-wheel rover based on the rovers on Mars (github.com/nasa-jpl)

3 points

8 years ago

34.

NASA JPL open-sourced ROSA, an AI agent for robot development and operations (github.com/nasa-jpl)

2 points

2 years ago

35.

Open Source on Mars: Community Powers NASA’s Ingenuity Helicopter (github.com/readme)

2 points

5 years ago

36.

Show HN: Futuristic Object Traversal for JavaScript (github.com/Nijikokun)

2 points

13 years ago

37.

NASA/fprime: F´ – A flight software and embedded systems framework (github.com/nasa)

2 points

2 years ago

38.

F Prime – Flight software framework by NASA (github.com/nasa)

2 points

2 years ago

39.

F': Ingenuity's Open-Source Flight Software Framework (github.com/nasa)

2 points

2 years ago

40.

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (github.com/NASA-SW-VnV)

2 points

ivanperez-keera

2 years ago

41.

NASA Library of Formal Method Developments (github.com/nasa)

2 points

2 years ago

42.

NASA Open MCT (github.com/nasa)

2 points

5 years ago

43.

JPL Designed 3D Printable Covid-19-Respirators (github.com/nasa-jpl)

2 points

6 years ago

44.

Nasa Astrobee Robot Software (github.com/nasa)

2 points

7 years ago

45.

Nasa Photo of the Day Slack Bot (github.com/michalbe)

2 points

7 years ago

46.

JPL / NASA Release Open Source Build It Yourself Rover Plans (github.com/nasa-jpl)

2 points

8 years ago

47.

NASA has released its exoplanet detection pipeline for Kepler (github.com/nasa)

2 points

9 years ago

48.

Node-sdk: easy access to 13 NASA APIs (github.com/AJFunk)

2 points

9 years ago

49.

NASA-3D-Resources: 3D models, textures, and images from inside NASA (github.com/nasa)

2 points

10 years ago

50.

Nasa/openmct: A web based mission control framework (github.com/nasa)

2 points

10 years ago

51.

NASA Open MCT (github.com/nasa)

2 points

10 years ago

52.

NASA Inventory Tracking System Now Available on GitHub (github.com/nasa)

2 points

10 years ago

53.

NASA Open MCT Web (github.com/nasa)

2 points

11 years ago

54.

NASA 3D Resources (github.com/nasa)

2 points

11 years ago

55.

Fret: Formal Requirements Elicitation Tool v3.0 (github.com/NASA-SW-VnV)

1 point

3 years ago

56.

NASA CoreFlight System (CFS) (github.com/nasa)

1 point

3 years ago

57.

Nasa Astrobee Robot Software (github.com/nasa)

1 point

7 years ago

58.

Surya: Foundation Model for Heliophysics (github.com/NASA-IMPACT)

1 point

9 months ago

59.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

1 point

2 years ago

60.

Fprime – A flight software and embedded systems framework by NASA (github.com/nasa)

1 point

2 years ago