Search: github.com/provejs | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Prove.js, jquery form validation

github.com/provejs

9 years ago

2 points

2.

Reverse Engineering Proves Journalist Security App Is Not Secure

gist.github.com

11 years ago

88 points

3.

Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+

github.com/kingbootoshi

3 months ago

7 points

4.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

5.

Show HN: Avera – a deterministic check that proves no regression was introduced

github.com/tc7kxsszs5-cloud

3 days ago

2 points

6.

A lock proves the security of the room and not that the room is empty

github.com/thansz137

a month ago

2 points

7.

Show HN: ADS-B visualizer

2 years ago

339 points

8.

Show HN: B-field, a novel probabilistic key-value data structure (`rust-bfield`)

github.com/onecodex

2 years ago

153 points

9.

Show HN: Just.sh – compiler that turns Justfiles into portable shell scripts

github.com/jstrieb

2 years ago

64 points

10.

Show HN: Mochi.js: bun-native high-fidelity browser automation library

a month ago

47 points

11.

Show HN: ProgressLine – Track commands progress in a compact one-line format

github.com/kattouf

2 years ago

31 points

12.

Ask HN: Why are successful open source projects usually developed by small teams

7 years ago

29 points

13.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

14.

Show HN: Faster R-CNN object detector implemented in PyTorch and TensorFlow 2

github.com/trzy

4 years ago

15 points

15.

Show HN: Inception: Automatic Rust Trait Implementation by Induction

github.com/nicksenger

10 months ago

10 points

16.

Show HN: A self-hosted social network where your Ethereum address is your ID

github.com/epressworld

9 months ago

8 points

17.

TrustAgentAI – Cryptographic receipts for MCP tool calls (non-repudiation layer)

3 months ago

kirillostrovsky

6 points

18.

Show HN: LightPHE: Lightweight Partially Homomorphic Encryption for Python

github.com/serengil

a year ago

6 points

19.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability

github.com/lapisla-prover

a year ago

6 points

20.

Show HN: Tabgrab – easily manage the browser tabs from the command line

github.com/dkaslovsky

2 years ago

5 points

21.

Tell HN: Codecov learned nothing from their security breach

5 years ago

4 points

22.

Show HN: Magic Top Hat, an infinite library for Python

github.com/lucamattiazzi

2 years ago

3 points

23.

Show HN: Reverse Turing Test (convince an LLM that you are an LLM)

github.com/empath-nirvana

5 months ago

3 points

24.

Show HN: First Letlang Module Compiled

gist.github.com

4 years ago

3 points

25.

Show HN: Agent Action Guard – AI agent action safety

3 months ago

2 points

26.

Show HN: AlphaEvolve inspired evolution harness for Pokemon

github.com/papercomputeco

3 months ago

2 points

27.

Show HN: Trueline – Hash-verified edits save 44% of Claude's output tokens

github.com/rjkaes

4 months ago

2 points

28.

Show HN: Sleeping LLM – A language model that remembers by sleeping

github.com/vbario

4 months ago

2 points

29.

Show HN: WarpParse – Rust ETL engine 1.5–8x faster than Vector

5 months ago

2 points

30.

Show HN: Pit Claude, Codex, and Gemini against each other, and apply the best

github.com/voratiq

6 months ago

2 points