Search: github.com/klee | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Auto-matching and optimized carpooling for groups

2 years ago

4 points

2.

KLEE Symbolic Execution Engine

github.com/klee

2 years ago

88 points

3.

Show HN: FastAPI and MongoDB back end boilerplate

github.com/klee1611

4 years ago

1 points

4.

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

9 years ago

5 points

5.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

6.

Show HN: Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust

5 months ago

166 points

7.

Launch HN: Keep (YC W23) – AIOps and alert management

github.com/keephq

2 years ago

94 points

8.

Show HN: Peeng – like Pingdom, but the other way around and simpler

3 years ago

84 points

9.

Show HN: Keep – Open-source alerting CLI

github.com/keephq

3 years ago

65 points

10.

Show HN: Keep – Create production alerts from plain English

github.com/keephq

3 years ago

46 points

11.

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

10 years ago

20 points

12.

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

7 months ago

17 points

13.

Show HN: Keel – A schema-driven back end engine with Go and TypeScript

2 years ago

11 points

14.

Show HN: Matrix, a fast and flexible blogging engine

ec2-54-83-122-123.compute-1.amazonaws.com

12 years ago

7 points

15.

Show HN: Keel Studio – From prompt to production-ready back end in 2 mins

2 years ago

6 points

16.

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

chesstraining.app

2 years ago

3 points

17.

Show HN: OCD – Open-source Kanban dashboard for monitoring AI coding agents

github.com/Keeeeeeeks

4 months ago

3 points

18.

Show HN: Keep-Alive – Cross-Platform Tool to Prevent System Sleep

github.com/stigoleg

2 years ago

3 points

19.

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

3 years ago

2 points

20.

Show HN: Benchmarking the Keep memory system with LoCoMo

4 months ago

1 points

21.

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

10 years ago

1 points

22.

Commander Keen source code released

github.com/keendreams

12 years ago

545 points

23.

KeePassXC pull request to add basic support for WebAuthn

github.com/keepassxreboot

3 years ago

343 points

24.

KeeWeb: Unofficial KeePass web and desktop client

github.com/antelle

10 years ago

265 points

25.

Commander Keen in Keen Dreams

github.com/keendreams

4 years ago

225 points

26.

Show HN: Keep – GitHub Actions for your monitoring tools

github.com/keephq

3 years ago

181 points

27.

WebML: A Standard ML Compiler for the Web

github.com/KeenS

6 years ago

128 points

28.

KeenType: Pure Java typesetting system

github.com/DaveJarvis

3 years ago

99 points

29.

Open-Source Data Explorer by Keen IO

github.com/keen

11 years ago

89 points

30.

Show HN: Keeper – embedded secret store for Go (help me break it)

github.com/agberohq

2 months ago

64 points