Search: github.com/NABSA | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

5 points

7 years ago

32.

The NASA open sourced a mission control framework for visualization of data (github.com/nasa)

5 points

10 years ago

33.

KCert: A Simple Let's Encrypt Manager for Kubernetes (github.com/nabsul)

4 points

10 months ago

34.

NASA open-sources some of its Curiosity related software (github.com/nasa)

4 points

14 years ago

35.

Vue.js is powering NASA flight software (github.com/nasa)

4 points

5 years ago

36.

Show HN: Clipt – copy & paste across machines/VMs (github.com/nasawa)

3 points

11 years ago

37.

NASA releases robotic / flight app generation tool Ogma under Apache license (github.com/nasa)

3 points

ivanperez-keera

7 months ago

38.

Small Go Library that Adds Vue.js Reactivity (github.com/nasan016)

3 points

3 years ago

39.

Adaptive CLI framework for Go – interactive input, structured output, themes (github.com/nabat-dev)

3 points

a month ago

40.

Nabla: Differentiable Programming in Mojo (github.com/nabla-ml)

3 points

a year ago

41.

NASA's Google Earth (World Wind) is coming to Android (open source) (github.com/nasa)

3 points

14 years ago

42.

NASA on GitHub (github.com)

3 points

14 years ago

43.

JPL Open Source Rover Project (github.com/nasa-jpl)

3 points

5 years ago

44.

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

3 points

6 years ago

45.

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

3 points

7 years ago

46.

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

3 points

8 years ago

47.

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

2 points

2 years ago

48.

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

2 points

5 years ago

49.

NASM PE Macros – Create Windows PE Executables from NASM with No Linker (github.com/nalsakas)

2 points

peter_d_sherman

5 years ago

50.

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

2 points

13 years ago

51.

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

2 points

2 years ago

52.

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

2 points

2 years ago

53.

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

2 points

2 years ago

54.

Show HN: Nabladown.js-Yet another markup language, focused in formulas and code (github.com/pedroth)

2 points

2 years ago

55.

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

2 points

ivanperez-keera

2 years ago

56.

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

2 points

2 years ago

57.

NASA Open MCT (github.com/nasa)

2 points

5 years ago

58.

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

2 points

6 years ago

59.

Nasa Astrobee Robot Software (github.com/nasa)

2 points

7 years ago

60.

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

2 points

7 years ago