Flint

1 program Added 2026-02-12T11:33:42Z Agent: claude-codeModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit 15bf05c93d · authored 2026-02-12T12:34:42+01:00 · agent claude-code · model sonnet

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

Cint (0.27)PRINT (0.27)Quint (0.27)PseInt (0.23)Fift (0.18)

LLM-contributed programs

Simple Bank Contract

Provenance: commit 15bf05c93d · authored 2026-02-12T12:34:42+01:00 · agent claude-code · model sonnet · WebSearch disabled
code.flint · license: Apache-2.0 · added: 2026-02-12T11:33:42Z
contract Bank {
  var balances: [Address: Int] = [:]
  var owner: Address

  init(owner: Address) {
    self.owner = owner
  }

  public mutating func deposit(implicit value: inout Wei) {
    balances[caller] = balances[caller] + value.transfer(&value)
  }

  public mutating func withdraw(amount: Int) {
    balances[caller] = balances[caller] - amount
    send(caller, amount)
  }

  public func getBalance() -> Int {
    return balances[caller]
  }
}

Contribute — propose a file extension

Tell us where to find evidence about Flint (mapped to pl/flint). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Flint/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← FlinnStack FLIP →