Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Node.js stateless session utility using signed and encrypted cookies
(github.com/vvo)
1 point
mooreds
3 years ago
discuss
32.
▲
Extending Awk with Field Labels
(github.com/dkogan)
1 point
dima55
4 years ago
discuss
33.
▲
Show HN: JavaScript-Library-Template
(github.com/vvo)
1 point
vvoyer
6 years ago
discuss
34.
▲
Gifify: Convert any video file to an optimized animated GIF
(github.com/vvo)
1 point
vincent_s
10 years ago
discuss
35.
▲
Show HN: Offline-docs, formatted node_modules/**/README.md for offline usage
(github.com/vvo)
1 point
vvoyer
10 years ago
discuss
36.
▲
IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation
(github.com/NASA-SW-VnV)
91 points
ingve
4 years ago
38 comments
37.
▲
Formal Requirements Elicitation Tool
(github.com/NASA-SW-VnV)
62 points
xo5vik
4 years ago
33 comments
38.
▲
IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation
(github.com/NASA-SW-VnV)
18 points
u1hcw9nx
5 months ago
1 comment
39.
▲
IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation
(github.com/NASA-SW-VnV)
5 points
pmarin
7 years ago
discuss
40.
▲
IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation
(github.com/NASA-SW-VnV)
3 points
ingve
7 years ago
discuss
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
discuss
42.
▲
Fret: Formal Requirements Elicitation Tool v3.0
(github.com/NASA-SW-VnV)
1 point
AlanClifford
3 years ago
1 comment
43.
▲
Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation
(github.com/NASA-SW-VnV)
1 point
nateb2022
2 years ago
discuss
44.
▲
Static analyzer IKOS 3.2 Released
(github.com/NASA-SW-VnV)
1 point
ivanperez-keera
2 years ago
discuss
45.
▲
Deno's first native build tool for Vue
(github.com/oslabs-beta)
1 point
vno-land
5 years ago
discuss
46.
▲
IKOS (Inference Kernel for Open Static Analyzers)
(github.com/NASA-SW-VnV)
1 point
jjuhl
7 years ago
discuss
47.
▲
Tell HN: Flutter Developers don't buy Vivo IQOO mobiles
(github.com/flutter)
3 points
pmg1991
3 years ago
2 comments
48.
▲
VRGB – Asus Vivobook RGB keyboard control on Linux (no kernel mods, no daemon)
(github.com/vrgb-dev)
2 points
vrgbdev
2 months ago
1 comment
49.
▲
Show HN: Honcho – Open-source memory infrastructure, powered by custom models
(github.com/plastic-labs)
8 points
vvoruganti
4 months ago
discuss
50.
▲
FlutterJS – Compiles Flutter/Dart to HTML/CSS/JS
2 points
flutterjs
4 months ago
1 comment
51.
▲
Project Lean – The $10B Singularity Architecture
2 points
tk-LEAN
2 months ago
discuss
52.
▲
Show HN: Domscribe – Deterministic DOM-to-source mapping for AI coding agents
(github.com/patchorbit)
2 points
NarratorTD
2 months ago
discuss
53.
▲
ServerCoin- Revolutionizing the Cloud Industry
1 point
FILLMOBILE
a year ago
discuss
54.
▲
Rome: An experimental JavaScript toolchain
(github.com/facebookexperimental)
370 points
vvoyer
6 years ago
166 comments
55.
▲
Dum: An NPM scripts runner written in Rust
(github.com/egoist)
112 points
vvoyer
4 years ago
90 comments
56.
▲
Show HN: Betty, Open Source Google Voice with Receptionist Abilities
(github.com/SamyPesse)
91 points
vvoyer
11 years ago
10 comments
57.
▲
HN Bookmarklet: Show PG's essay footnotes in-line on hover
(gist.github.com)
41 points
vnorby
14 years ago
23 comments
58.
▲
Show HN: JavaScript packages search and install from Atom
(github.com/algolia)
9 points
vvoyer
9 years ago
discuss
59.
▲
Show HN: TDD-Albums: A Hands-On Tutorial for iPhone Developers Learning TDD
(github.com/eBay)
4 points
vanvoorden
11 years ago
discuss
60.
▲
React Ultimate Resume
(github.com/welovedevs)
4 points
vvoyer
6 years ago
discuss
More