Lungo Generates Rust logo

Lungo Generates Rust

Python, from Lean Proof Source

Share on:
Listing image

Rust, C, Go, Python, Swift and TypeScript from ordinary Lake projects: Lean checks and compiles the program, and lungo runs it behind an idiomatic API in each.

lungo: Rust, C, Go, Python, Swift and TypeScript from Lean — MachineFabric Skip to content MachineFabric FabricLoom Overview The application Downloads macOS · Windows · Linux Documentation Guides · SDK CapDAG Overview Capabilities · Machines Downloads Command line Documentation Specification Registry Capabilities · Media lungo Overview Lean → code Downloads Command line Documentation Guides · Reference Cartridges Models Blog Get FabricLoom Get lungo IT EN Lean → code lungo Generate Rust, C, Go, Python, Swift and TypeScript from ordinary Lake projects. Lean checks

Related listings

graph-based MCP memory with an RL-trained forgetting policy

I’ve published my learnings on several topics that interests me in visual formats, and this one is the latest one I did ...

High performance policy routed IPsec mesh SD-WAN

share a Windows PC's keyboard and mouse with a Mac over QUIC

a word game where every word changes the board

A GitHub contribution for my newborn's feedings, turned into SaaS