Search: github.com/klee | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Auto-matching and optimized carpooling for groups (antride.ca)

4 points

2 years ago

2.

KLEE Symbolic Execution Engine (github.com/klee)

88 points

2 years ago

3.

Show HN: FastAPI and MongoDB back end boilerplate (github.com/klee1611)

1 point

4 years ago

4.

Ask HN: Vector-space database (as a service)?

5 points

9 years ago

5.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

6.

Show HN: Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust (github.com)

166 points

4 months ago

7.

Launch HN: Keep (YC W23) – AIOps and alert management (github.com/keephq)

94 points

2 years ago

8.

Show HN: Peeng – like Pingdom, but the other way around and simpler (peeng.sh)

84 points

3 years ago

9.

Show HN: Keep – Open-source alerting CLI (github.com/keephq)

65 points

3 years ago

10.

Show HN: Keep – Create production alerts from plain English (github.com/keephq)

46 points

3 years ago

11.

Ask HN: Password Gorilla last commit 3 years – give up on open source pwd mgr?

20 points

10 years ago

12.

Show HN: Keepr – A Secure and Offline Open Source CLI Password Manager

17 points

7 months ago

13.

Show HN: Keel – A schema-driven back end engine with Go and TypeScript (keel.so)

11 points

2 years ago

14.

Show HN: Matrix, a fast and flexible blogging engine (ec2-54-83-122-123.compute-1.amazonaws.com)

7 points

12 years ago

15.

Show HN: Keel Studio – From prompt to production-ready back end in 2 mins (keel.so)

6 points

2 years ago

16.

Show HN: I built a chess training website (and open sourced it) (chesstraining.app)

3 points

2 years ago

17.

Show HN: OCD – Open-source Kanban dashboard for monitoring AI coding agents (github.com/Keeeeeeeks)

3 points

3 months ago

18.

Show HN: Keep-Alive – Cross-Platform Tool to Prevent System Sleep (github.com/stigoleg)

3 points

a year ago

19.

Ask HN: Do you use Elasticsearch/elastalert and/or praeco for alerting?

2 points

3 years ago

20.

Show HN: Benchmarking the Keep memory system with LoCoMo (keepnotes.ai)

1 point

3 months ago

21.

Show HN: KaldiiOS on-device speech recognition framework for iOS devices

1 point

10 years ago

22.

Commander Keen source code released (github.com/keendreams)

545 points

12 years ago

23.

KeePassXC pull request to add basic support for WebAuthn (github.com/keepassxreboot)

343 points

3 years ago

24.

KeeWeb: Unofficial KeePass web and desktop client (github.com/antelle)

265 points

10 years ago

25.

Commander Keen in Keen Dreams (github.com/keendreams)

225 points

4 years ago

26.

Show HN: Keep – GitHub Actions for your monitoring tools (github.com/keephq)

181 points

3 years ago

27.

WebML: A Standard ML Compiler for the Web (github.com/KeenS)

128 points

6 years ago

28.

KeenType: Pure Java typesetting system (github.com/DaveJarvis)

99 points

3 years ago

29.

Open-Source Data Explorer by Keen IO (github.com/keen)

89 points

11 years ago

30.

Show HN: Keeper – embedded secret store for Go (help me break it) (github.com/agberohq)

64 points

2 months ago