Search: github.com/vnvo | Heykuki News

HK

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

3 years ago

1 points

32.

Extending Awk with Field Labels

github.com/dkogan

4 years ago

1 points

33.

Show HN: JavaScript-Library-Template

6 years ago

1 points

34.

Gifify: Convert any video file to an optimized animated GIF

10 years ago

1 points

35.

Show HN: Offline-docs, formatted node_modules/**/README.md for offline usage

10 years ago

1 points

36.

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

github.com/NASA-SW-VnV

4 years ago

91 points

37.

Formal Requirements Elicitation Tool

github.com/NASA-SW-VnV

5 years ago

62 points

38.

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

github.com/NASA-SW-VnV

5 months ago

18 points

39.

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

github.com/NASA-SW-VnV

8 years ago

5 points

40.

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

github.com/NASA-SW-VnV

8 years ago

3 points

41.

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

github.com/NASA-SW-VnV

3 years ago

ivanperez-keera

2 points

42.

Fret: Formal Requirements Elicitation Tool v3.0

github.com/NASA-SW-VnV

3 years ago

1 points

43.

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

github.com/NASA-SW-VnV

2 years ago

1 points

44.

Static analyzer IKOS 3.2 Released

github.com/NASA-SW-VnV

2 years ago

ivanperez-keera

1 points

45.

Deno's first native build tool for Vue

github.com/oslabs-beta

5 years ago

1 points

46.

IKOS (Inference Kernel for Open Static Analyzers)

github.com/NASA-SW-VnV

7 years ago

1 points

47.

Tell HN: Flutter Developers don't buy Vivo IQOO mobiles

github.com/flutter

3 years ago

3 points

48.

VRGB – Asus Vivobook RGB keyboard control on Linux (no kernel mods, no daemon)

github.com/vrgb-dev

3 months ago

2 points

49.

Show HN: Honcho – Open-source memory infrastructure, powered by custom models

github.com/plastic-labs

5 months ago

8 points

50.

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

5 months ago

2 points

51.

Project Lean – The $10B Singularity Architecture

3 months ago

2 points

52.

Show HN: Domscribe – Deterministic DOM-to-source mapping for AI coding agents

github.com/patchorbit

3 months ago

2 points

53.

ServerCoin- Revolutionizing the Cloud Industry

a year ago

1 points

54.

Rome: An experimental JavaScript toolchain

github.com/facebookexperimental

6 years ago

370 points

55.

Dum: An NPM scripts runner written in Rust

github.com/egoist

4 years ago

112 points

56.

Show HN: Betty, Open Source Google Voice with Receptionist Abilities

github.com/SamyPesse

11 years ago

91 points

57.

HN Bookmarklet: Show PG's essay footnotes in-line on hover

gist.github.com

14 years ago

41 points

58.

Show HN: JavaScript packages search and install from Atom

github.com/algolia

9 years ago

9 points

59.

Show HN: TDD-Albums: A Hands-On Tutorial for iPhone Developers Learning TDD

github.com/eBay

11 years ago

4 points

60.

React Ultimate Resume

github.com/welovedevs

6 years ago

4 points