Skip to content

Add Nudge - typed programming language for LLM agents - #527

Open
NekomyaDev wants to merge 1 commit into
ChessMax:masterfrom
NekomyaDev:add-nudge
Open

Add Nudge - typed programming language for LLM agents#527
NekomyaDev wants to merge 1 commit into
ChessMax:masterfrom
NekomyaDev:add-nudge

Conversation

@NekomyaDev

Copy link
Copy Markdown

What

Added Nudge to the N section.

Why

Nudge is a typed, replayable, budget-aware programming language for LLM agents:

  • Typed LLM calls — output schema is a language type; violations trigger automatic repair
  • Deterministic replay — every run emits a trace; every trace is a test
  • Budget contracts — per-call, per-run USD ceilings enforced by compiler + runtime
  • Effect system — pure / LLM / Tool / IO effects inferred and shown in signatures
  • Native parallelismpar map, par race, par all with compile-time race safety
  • Compiles to Python & TypeScript
  • Zero dependencies — single Rust binary, builds in seconds

Links

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant