Search: github.com/LedgerHQ | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: agent-ledger – prevent agents from executing duplicate tool calls (github.com/rune0-dev)

1 point

4 months ago

32.

CC-Ledger: Claude Code Cost Tracker (Per-Session and Per-PR) (github.com/delta-hq)

5 points

23 days ago

33.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

34.

Show HN: Ledger – Claude Code Token Spend Analyzer (github.com/delta-hq)

3 points

22 days ago

35.

Ledger: Cost MenuBar for Claude Code (github.com/delta-hq)

2 points

20 days ago

36.

Claude Code cost observability to prevent tokenmaxxing (github.com/delta-hq)

1 point

21 days ago

37.

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

6 points

kirillostrovsky

3 months ago

38.

Show HN: Intent, 5min scaffold for event-sourced back ends (ts,pg,temporal) (github.com/geeewhy)

2 points

a year ago

39.

Show HN: An open-source financial ledger API written in Clojure (github.com/decimals)

125 points

6 years ago

40.

Tezos and Ocaml: A self-amending cryptographic ledger (github.com/tezos)

90 points

8 years ago

41.

Show HN: My experimental take on a decentralized ledger (github.com/open-core)

48 points

11 years ago

42.

Trust-coin – Cryptocurrency without a ledger (github.com/derekmc)

8 points

11 years ago

43.

Show HN: An open ledger for scalable, mission-critical WebAssembly Dapps (github.com/perlin-network)

8 points

7 years ago

44.

Intel Sawtooth Lake Distributed Ledger (github.com)

5 points

10 years ago

45.

Show HN: Automatically updated pricedb for ledger (currency exchange rates) (github.com/kantord)

4 points

8 years ago

46.

R3 Distributed Ledger Corda Is Open Sourced (github.com/corda)

4 points

10 years ago

47.

Using GitHub as a Public Evidence Ledger: A Simple but Powerful Use Case (github.com/Caia-Tech)

3 points

a year ago

48.

Quantum Resistant Ledger, Altcoin Resistant to Quantum Computer Attacks [pdf] (github.com/theQRL)

3 points

9 years ago

49.

Show HN: DejaShip – an intent ledger to stop AI agents from building duplicates (github.com/mingulov)

3 points

3 months ago

50.

Weaving a budget with org-mode and ledger (gist.github.com)

3 points

9 years ago

51.

Block chains are complex and usually wrong solution for immutable public ledgers (github.com/paragonie)

3 points

9 years ago

52.

Chronicle: Public append-only ledger microservice built with Slim Framework (github.com/paragonie)

3 points

9 years ago

53.

Tezos/tezos: A self-amending cryptographic ledger (github.com/tezos)

3 points

9 years ago

54.

easychain – a python exploration of blockchain ledger concepts

2 points

9 years ago

55.

Rippled: Decentralized cryptocurrency blockchain daemon, XRP Ledger in C++ (github.com/XRPLF)

2 points

3 months ago

56.

Show HN: icsv2ledger – Enhanced CSV to Ledger Converter (github.com/eonseed)

2 points

a year ago

57.

Sequence – Immutable, scalable, and easy to use ledger service (github.com/decimals)

2 points

6 years ago

58.

DAG based decentralized ledger and Dapp platform (github.com/ZhongAnTech)

2 points

6 years ago

59.

Ledgible: ledger-cli web interface with data entry (github.com/lipidity)

2 points

10 years ago

60.

NatLangChain: Prior art for a natural language-native blockchain ledger (github.com/kase1111-hash)

1 point

6 months ago