Search: github.com/NABSA | Heykuki News

HK

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

8 years ago

5 points

32.

The NASA open sourced a mission control framework for visualization of data

github.com/nasa

10 years ago

5 points

33.

KCert: A Simple Let's Encrypt Manager for Kubernetes

github.com/nabsul

a year ago

4 points

34.

NASA open-sources some of its Curiosity related software

github.com/nasa

14 years ago

4 points

35.

Vue.js is powering NASA flight software

github.com/nasa

5 years ago

4 points

36.

Show HN: Clipt – copy & paste across machines/VMs

github.com/nasawa

11 years ago

3 points

37.

NASA releases robotic / flight app generation tool Ogma under Apache license

github.com/nasa

8 months ago

ivanperez-keera

3 points

38.

Small Go Library that Adds Vue.js Reactivity

github.com/nasan016

3 years ago

3 points

39.

Adaptive CLI framework for Go – interactive input, structured output, themes

github.com/nabat-dev

2 months ago

3 points

40.

Nabla: Differentiable Programming in Mojo

github.com/nabla-ml

a year ago

3 points

41.

NASA's Google Earth (World Wind) is coming to Android (open source)

github.com/nasa

14 years ago

3 points

42.

14 years ago

3 points

43.

JPL Open Source Rover Project

github.com/nasa-jpl

5 years ago

3 points

44.

Markdown Editor Component for Vue.js

github.com/nasa8x

6 years ago

3 points

45.

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

github.com/NASA-SW-VnV

8 years ago

3 points

46.

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

github.com/nasa-jpl

8 years ago

3 points

47.

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

github.com/nasa-jpl

2 years ago

2 points

48.

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

github.com/readme

5 years ago

2 points

49.

NASM PE Macros – Create Windows PE Executables from NASM with No Linker

github.com/nalsakas

5 years ago

peter_d_sherman

2 points

50.

Show HN: Futuristic Object Traversal for JavaScript

github.com/Nijikokun

13 years ago

2 points

51.

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

github.com/nasa

2 years ago

2 points

52.

F Prime – Flight software framework by NASA

github.com/nasa

2 years ago

2 points

53.

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

github.com/nasa

2 years ago

2 points

54.

Show HN: Nabladown.js-Yet another markup language, focused in formulas and code

github.com/pedroth

2 years ago

2 points

55.

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

github.com/NASA-SW-VnV

3 years ago

ivanperez-keera

2 points

56.

NASA Library of Formal Method Developments

github.com/nasa

3 years ago

2 points

57.

github.com/nasa

5 years ago

2 points

58.

JPL Designed 3D Printable Covid-19-Respirators

github.com/nasa-jpl

6 years ago

2 points

59.

Nasa Astrobee Robot Software

github.com/nasa

7 years ago

2 points

60.

Nasa Photo of the Day Slack Bot

github.com/michalbe

7 years ago

2 points