Search: github.com/koush | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Open-Source Real-Time Location Tracking and Sharing Project in Flutter

github.com/canopas

2 years ago

5 points

62.

Bark – An Open Source tool for sub-terabyte scale log aggregation

3 years ago

vaibhav_kaushal

5 points

63.

Show HN: Agents.json – Open-source API specification for LLMs

github.com/wild-card-ai

a year ago

4 points

64.

Show HN: ClickHouse Managed Postgres

5 months ago

2 points

65.

Asked 26 AI instances for publication consent – all said yes, that's the problem

3 months ago

2 points

66.

Show HN: Okapi yet Another Observability Thing

github.com/okapi-core

3 months ago

2 points

67.

Show HN: DeepContext MCP – Large Codebase Search for Codex and Claude Code

github.com/Wildcard-Official

9 months ago

kaushikmahorker

2 points

68.

XSLT – Native, zero-config build system for the Web

github.com/pacocoursey

a year ago

392 points

69.

github.com/vygr

3 years ago

153 points

70.

Coq to Rust Program Extraction

github.com/pirapira

10 years ago

99 points

71.

github.com/vygr

5 years ago

99 points

72.

Show HN: Bangle.dev – Collection of tools for building rich text editors

github.com/bangle-io

5 years ago

95 points

73.

Show HN: FiddleCube – Generate Q&A to test your LLM

github.com/fiddlecube

2 years ago

78 points

74.

Authenticated Data Structures Generically

github.com/adjoint-io

8 years ago

73 points

75.

A Coq development of a theory of lightweight cryptographic ledgers

github.com/billlwhite

11 years ago

67 points

76.

The Architecture of a Cryptocurrency

github.com/ConsensusResearch

11 years ago

51 points

77.

Show HN: FLP Impossibility Theorem Proof in Coq

github.com/ConsensusResearch

11 years ago

38 points

78.

Show HN: A Cryptocurrency in 4K Lines of Scala Code

github.com/ConsensusResearch

11 years ago

37 points

79.

Show HN: Okapi – a metrics engine based on open data formats

github.com/okapi-core

10 months ago

14 points

80.

Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF

github.com/fiddlecube

a year ago

11 points

81.

Show HN: Compliant LLM toolkit for ensuring compliance & security of AI systems

github.com/fiddlecube

a year ago

7 points

82.

Curated List of Awesome Ambient Noises for Listening While Programming

github.com/jamb0ss

11 years ago

7 points

83.

Show HN: Idly-Gl When OpenStreetMap Met Mapbox-GL

github.com/kepta

8 years ago

6 points

84.

Modular Cryptocurrency, Part 1: Generic Block Structure

github.com/ConsensusResearch

11 years ago

6 points

85.

Compile-Time Checked Typed Actors for Scala and Akka

github.com/knutwalker

11 years ago

6 points

86.

Show HN: I center aligned Paul Graham's website and published a Chrome extension

github.com/ktkaushik

a year ago

5 points

87.

Show HN: Upskill – skill to find skills for your AI agents

github.com/Autoloops

2 months ago

4 points

88.

The Amazing World of Diagrams [pdf]

github.com/yk-liu

6 years ago

4 points

89.

Tiny C Compiler

github.com/TinyCC

a month ago

4 points

90.

Awesome Ethereum Resources

github.com/btomashvili

9 years ago

4 points