Search: github.com/leigler | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Instant stats for your fantasy football league [Excel] [Python] (github.com/joeyagreco)

1 point

4 years ago

32.

Show HN: Command and library to get software version numbers from the web (github.com/liger1978)

1 point

4 years ago

33.

Rainbow: Side-Channel Analysis Simulation Tool (github.com/Ledger-Donjon)

1 point

7 years ago

34.

Ask HN: What to build using a bank account API?

2 points

9 years ago

35.

Show HN: ContextLedger – CLI to track and handoff context b/w AI coding sessions (github.com/manthan787)

2 points

4 months ago

36.

Show HN: Stateful Inference with 99% Token Savings (github.com/umbecanessa)

2 points

a month ago

37.

Qs_ledger: Quantified Self Personal Data Aggregator and Data Analysis (github.com/markwk)

2 points

7 years ago

38.

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy (github.com/jose-blockchain)

1 point

3 months ago

39.

Token_ledger – Ruby gem for auditable token accounting in Rails (github.com/wuliwong)

1 point

4 months ago

40.

Show HN: An agent that remembers across sessions (no chat history) (github.com/umbecanessa)

1 point

a month ago

41.

Show HN: LedgerSync – A cross-agent shared-memory protocol for AI coding (github.com/Metacog-AI)

1 point

4 months ago

42.

Ledger Sync for Protobuf Based Hyperledger Sawtooth Network (github.com/skcript)

1 point

8 years ago

43.

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

1 point

4 months ago

44.

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

5 points

23 days ago

45.

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

3 points

5 months ago

46.

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

3 points

22 days ago

47.

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

2 points

20 days ago

48.

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

1 point

21 days ago

49.

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

6 points

kirillostrovsky

3 months ago

50.

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

2 points

a year ago

51.

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

125 points

6 years ago

52.

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

90 points

8 years ago

53.

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

48 points

11 years ago

54.

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

8 points

11 years ago

55.

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

8 points

7 years ago

56.

Intel Sawtooth Lake Distributed Ledger (github.com)

5 points

10 years ago

57.

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

4 points

8 years ago

58.

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

4 points

10 years ago

59.

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

3 points

a year ago

60.

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

3 points

9 years ago