Search: github.com/vnvo | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Node.js stateless session utility using signed and encrypted cookies (github.com/vvo)

1 point

3 years ago

32.

Extending Awk with Field Labels (github.com/dkogan)

1 point

4 years ago

33.

Show HN: JavaScript-Library-Template (github.com/vvo)

1 point

6 years ago

34.

Gifify: Convert any video file to an optimized animated GIF (github.com/vvo)

1 point

10 years ago

35.

Show HN: Offline-docs, formatted node_modules/**/README.md for offline usage (github.com/vvo)

1 point

10 years ago

36.

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

91 points

4 years ago

37.

Formal Requirements Elicitation Tool (github.com/NASA-SW-VnV)

62 points

4 years ago

38.

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

18 points

5 months ago

39.

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

5 points

7 years ago

40.

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

3 points

7 years ago

41.

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

2 points

ivanperez-keera

2 years ago

42.

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

1 point

3 years ago

43.

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

1 point

2 years ago

44.

Static analyzer IKOS 3.2 Released (github.com/NASA-SW-VnV)

1 point

ivanperez-keera

2 years ago

45.

Deno's first native build tool for Vue (github.com/oslabs-beta)

1 point

5 years ago

46.

IKOS (Inference Kernel for Open Static Analyzers) (github.com/NASA-SW-VnV)

1 point

7 years ago

47.

Tell HN: Flutter Developers don't buy Vivo IQOO mobiles (github.com/flutter)

3 points

3 years ago

48.

VRGB – Asus Vivobook RGB keyboard control on Linux (no kernel mods, no daemon) (github.com/vrgb-dev)

2 points

2 months ago

49.

Show HN: Honcho – Open-source memory infrastructure, powered by custom models (github.com/plastic-labs)

8 points

4 months ago

50.

FlutterJS – Compiles Flutter/Dart to HTML/CSS/JS

2 points

4 months ago

51.

Project Lean – The $10B Singularity Architecture

2 points

2 months ago

52.

Show HN: Domscribe – Deterministic DOM-to-source mapping for AI coding agents (github.com/patchorbit)

2 points

2 months ago

53.

ServerCoin- Revolutionizing the Cloud Industry

1 point

a year ago

54.

Rome: An experimental JavaScript toolchain (github.com/facebookexperimental)

370 points

6 years ago

55.

Dum: An NPM scripts runner written in Rust (github.com/egoist)

112 points

4 years ago

56.

Show HN: Betty, Open Source Google Voice with Receptionist Abilities (github.com/SamyPesse)

91 points

11 years ago

57.

HN Bookmarklet: Show PG's essay footnotes in-line on hover (gist.github.com)

41 points

14 years ago

58.

Show HN: JavaScript packages search and install from Atom (github.com/algolia)

9 points

9 years ago

59.

Show HN: TDD-Albums: A Hands-On Tutorial for iPhone Developers Learning TDD (github.com/eBay)

4 points

11 years ago

60.

React Ultimate Resume (github.com/welovedevs)

4 points

6 years ago