Search: github.com/provejs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Triad Engine beats Claude 4.6 (100% vs. 45%) on Rome cultural benchmark (github.com/Mysticbirdie)

1 point

4 months ago

32.

Show HN: Oblon – universal REST API server (github.com/vtashkov)

1 point

4 years ago

33.

Show HN: NotaryOS – Cryptographic proof of what your AI agent didn't do (notaryos.org)

1 point

3 months ago

34.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

35.

Show HN: CEL v0.2 Pro – cryptographic black box recorder for AI systems (Python) (github.com/GhurtSky-GR13)

1 point

3 months ago

36.

Show HN: GuardClaw – cryptographically verifiable execution logs for AI agents (github.com/viruswami5511)

1 point

3 months ago

37.

Show HN: I Built Context+ AST and Embeddings for Codebase Understanding (contextplus.vercel.app)

1 point

3 months ago

38.

Show HN: Synergetic-SQR – A 4D rendering engine with bit-exact rotation (github.com/johncurley)

1 point

3 months ago

39.

Show HN: Raypher–Running local AI agents (OpenClaw) on your own local computer (github.com/kidigapeet)

1 point

3 months ago

40.

Show HN:AIP Protocol–Solving the agent revocation problem in distributed systems (github.com/theaniketgiri)

1 point

4 months ago

41.

Show HN: IntentusNet – Deterministic Execution and Replay for AI Agent Systems

1 point

balachandarmani

5 months ago

42.

Show HN: MCP-Teleprompter – Stop repeating yourself to LLMs (npmjs.com)

1 point

a year ago

43.

Show HN: Noema a declarative AI programming Lib

1 point

2 years ago

44.

New Postgres 12 SET NOT NULL constraint creation with minimal lock

1 point

7 years ago

45.

Ask YC: Good People or Projects to Follow on Github

11 points

18 years ago

46.

Grapherl: Erlang/OTP based stats gathering daemon

1 point

11 years ago

47.

Show HN: Grapherl – Realtime, scalable stats-gathering daemon (github.com/processone)

20 points

11 years ago

48.

Show HN: Process Governor – a tool to put limits on Windows processes (github.com/lowleveldesign)

9 points

7 years ago

49.

Processing is now on Github (github.com/processing)

6 points

13 years ago

50.

Show HN: Processfly – simulate command line processes for testing purposes (github.com/bspaans)

6 points

10 years ago

51.

Show HN: Processing on the Raspberry Pi (github.com/processing)

4 points

11 years ago

52.

Fork Mozilla's new Release Process draft on GitHub (mozilla.github.com)

4 points

15 years ago

53.

Processing 2.0 released (github.com/processing)

3 points

13 years ago

54.

P5.js is a friendly tool for learning to code and make art (github.com/processing)

3 points

a year ago

55.

Process Watch Linux tool (github.com/intel)

3 points

2 years ago

56.

Process Compose: flexible scheduler to manage non-containerized apps (github.com/F1bonacc1)

3 points

2 years ago

57.

Process Compose: scheduler/orchestrator for non-containerized applications (github.com/F1bonacc1)

3 points

3 years ago

58.

Show HN: Apple Pay library, written in Go (github.com/processout)

3 points

8 years ago

59.

Test suit for some emulated CPU like 6502 and 68000 (github.com/TomHarte)

2 points

3 years ago

60.

Show HN: I built a pipeline to extract UK visa timelines from Reddit comments (github.com/hnarayanan)

2 points

7 months ago