Search: github.com/qaware | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Dafny is a verification-aware programming language (github.com/dafny-lang)

107 points

2 years ago

62.

Keymapper: A cross-platform context-aware key remapper (github.com/houmain)

96 points

a year ago

63.

Mcfly – neural-network powered directory and context-aware shell history search (github.com/cantino)

93 points

6 years ago

64.

Show HN: An MCP server that gives LLMs temporal awareness and time calculation (github.com/jlumbroso)

91 points

a year ago

65.

Why we are still using PBKDF2-SHA256 despite being aware of its limitations (github.com/bitwarden)

85 points

5 years ago

66.

JSON Awareness in the Curl Tool (github.com/curl)

80 points

4 years ago

67.

Dafny: verification-aware programming language (github.com/Microsoft)

78 points

8 years ago

68.

Numba - A NumPy aware (LLVM-based) optimizing compiler for Python (github.com/ContinuumIO)

67 points

14 years ago

69.

Dafny: Verification-Aware Programming Language (github.com/dafny-lang)

64 points

6 years ago

70.

Numba: NumPy-aware optimizing compiler for Python (github.com/numba)

64 points

14 years ago

71.

Peregrine: A Pattern-Aware Graph Mining System (github.com/pdclab)

64 points

6 years ago

72.

Show HN: Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps (github.com/loadingalias)

61 points

6 months ago

73.

NumPy aware dynamic Python compiler using LLVM (github.com/ContinuumIO)

52 points

14 years ago

74.

Tool for Euclidean geometry aware of logic (github.com/mirefek)

50 points

4 years ago

75.

FourShadows.js – Time-aware algorithm driven shadows for icons (github.com/Gigacore)

48 points

12 years ago

76.

Graphik: An identity-aware document and graph database (github.com/graphikDB)

47 points

yagizdegirmenci

5 years ago

77.

Bun: cgroup-aware AvailableParallelism / HardwareConcurrency on Linux (github.com/oven-sh)

45 points

2 months ago

78.

Show HN: made giving.github.com for collaborative meaningful coding

43 points

14 years ago

79.

Show HN: Tobab, a poor mans identity aware proxy. “BeyondCorp” for selfhosters (github.com/gnur)

42 points

6 years ago

80.

FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness (github.com/HazyResearch)

30 points

4 years ago

81.

Node.jsScan: A semantic aware static code analysis tool for Node.js applications (github.com/ajinabraham)

27 points

6 years ago

82.

A math-aware search engine, enable the ability to search mathematics online (github.com/approach0)

27 points

10 years ago

83.

Exploring Emergent "Self-Awareness" in Claude 3.5 (github.com/andybrandt)

21 points

a year ago

84.

VoxelCNN: Order-Aware Generative Modeling Using the 3D-Craft Dataset (github.com/facebookresearch)

20 points

6 years ago

85.

Show HN: Build your own location-aware logistics app in an hour (github.com/hypertrack)

17 points

6 years ago

86.

EcoHabit: An Open Source Project for Environmental Awareness (Earth Day Special) (github.com/lugenx)

15 points

3 years ago

87.

Show HN: PromptLab – A Raycast Extension for creating context-aware AI commands (github.com/SKaplanOfficial)

14 points

3 years ago

88.

DiscoBERT: Discourse-Aware Neural Extractive Text Summarization (github.com/jiacheng-xu)

14 points

6 years ago

89.

Green Tea: an experimental, memory-aware garbage collector for Go (github.com/golang)

13 points

a year ago

90.

GumTree: A syntax-aware diff tool (github.com/GumTreeDiff)

12 points

a year ago