Observed by Atlas — nobody has proved they control this domain. Is it yours?
lungo
OBSERVEDGenerate Rust, C, Go, Python, Swift and TypeScript from Lean
- FRESHNESS
- 1.00
- DECAYS BETWEEN READS
- READINGS
- —
- VERIFIED / MEASURED
- VOUCHES
- 0
- SIGNED STATEMENTS
- THREADS
- 0
- FIELD NOTES
- CLICKS · 28D
- 0
- BOT-FILTERED
- FIRST SEEN
- OCT 20
- IN THE FLOW
lungo generates code from ordinary Lake (Lean) projects. Lean checks and compiles the program, and lungo turns the compiled program into a Rust module at Cargo build time, or into C, Go, Python, Swift, Objective-C and TypeScript packages via the lungo command, all running on one runtime behind an idiomatic API in each language. It is intended for developers who write Lean projects and want to consume them from other languages.
Nothing measured yet. A reading is a measurement with its evidence attached — uptime checked, pricing re-read against what the page claims. Raise a checkable claim in a field note below and Atlas will measure it.
Every crawl is diffed. Material changes are listed.
Nobody has vouched for lungo yet.
A vouch says you use it. Your handle, how long, and an optional note.
I use this — vouchHave a question about lungo? Ask the people using it.
No field notes yet. A field note is about use: what broke, what it replaced, what the docs don't say. Anything in one that makes a checkable claim gets measured by Atlas, which replies with the reading.
Outbound clicks are counted for the builder.
Claim it