Search: github.com/provejs | Heykuki News

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)

2 points

9 years ago

2.

Reverse Engineering Proves Journalist Security App Is Not Secure (gist.github.com)

88 points

11 years ago

3.

Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (github.com/kingbootoshi)

7 points

3 months ago

4.

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

3 points

2 months ago

5.

A lock proves the security of the room and not that the room is empty (github.com/thansz137)

2 points

17 days ago

6.

Show HN: ADS-B visualizer (adsb.exposed)

339 points

2 years ago

7.

Show HN: B-field, a novel probabilistic key-value data structure (`rust-bfield`) (github.com/onecodex)

153 points

2 years ago

8.

Show HN: Just.sh – compiler that turns Justfiles into portable shell scripts (github.com/jstrieb)

64 points

2 years ago

9.

Show HN: Mochi.js: bun-native high-fidelity browser automation library (mochijs.com)

47 points

a month ago

10.

Show HN: ProgressLine – Track commands progress in a compact one-line format (github.com/kattouf)

31 points

2 years ago

11.

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

29 points

7 years ago

12.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

13.

Show HN: Faster R-CNN object detector implemented in PyTorch and TensorFlow 2 (github.com/trzy)

15 points

4 years ago

14.

Show HN: Inception: Automatic Rust Trait Implementation by Induction (github.com/nicksenger)

10 points

9 months ago

15.

Show HN: A self-hosted social network where your Ethereum address is your ID (github.com/epressworld)

8 points

8 months ago

16.

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

6 points

kirillostrovsky

3 months ago

17.

Show HN: LightPHE: Lightweight Partially Homomorphic Encryption for Python (github.com/serengil)

6 points

a year ago

18.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability (github.com/lapisla-prover)

6 points

a year ago

19.

Show HN: Tabgrab – easily manage the browser tabs from the command line (github.com/dkaslovsky)

5 points

2 years ago

20.

Tell HN: Codecov learned nothing from their security breach

4 points

5 years ago

21.

Show HN: Magic Top Hat, an infinite library for Python (github.com/lucamattiazzi)

3 points

2 years ago

22.

Show HN: Reverse Turing Test (convince an LLM that you are an LLM) (github.com/empath-nirvana)

3 points

4 months ago

23.

Show HN: First Letlang Module Compiled (gist.github.com)

3 points

4 years ago

24.

Show HN: Agent Action Guard – AI agent action safety

2 points

2 months ago

25.

Show HN: AlphaEvolve inspired evolution harness for Pokemon (github.com/papercomputeco)

2 points

3 months ago

26.

Show HN: Trueline – Hash-verified edits save 44% of Claude's output tokens (github.com/rjkaes)

2 points

3 months ago

27.

Show HN: Sleeping LLM – A language model that remembers by sleeping (github.com/vbario)

2 points

3 months ago

28.

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

2 points

4 months ago

29.

Show HN: Pit Claude, Codex, and Gemini against each other, and apply the best (github.com/voratiq)

2 points

6 months ago

30.

Show HN: W++ – Now Compiling Directly to WASM (No Blazor, Minimal HTML) (github.com/sinisterMage)

2 points

a year ago