Acme

1 program Added 2026-03-13T10:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: Acme ADL
Provenance: commit 46a2dac1a6 · authored 2026-03-13T02:27:49+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

2 sources · pl_id: pl/acme
LLM (this repo) · 1Pldb

Related languages

Andl (0.23)Avro IDL (0.15)ABEL (0.14)ACL2 (0.14)Aime (0.14)

LLM-contributed programs

Pipe-and-Filter Architecture

Provenance: commit 46a2dac1a6 · authored 2026-03-13T02:27:49+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.acme · added: 2026-03-13T10:00:00Z
/* Acme Architecture Description Language: Pipe-and-Filter System */
/* Classic example demonstrating Acme's component-connector style */

System PipeAndFilter = {
    Component Source = {
        Ports = {out : Port};
        Properties = {
            functionality : string = "Generates integer data stream";
        }
    }

    Component Transform = {
        Ports = {
            in  : Port;
            out : Port
        };
        Properties = {
            functionality : string = "Squares each input value";
        }
    }

    Component Accumulator = {
        Ports = {
            in  : Port;
            out : Port
        };
        Properties = {
            functionality : string = "Accumulates running total";
        }
    }

    Component Sink = {
        Ports = {in : Port};
        Properties = {
            functionality : string = "Displays final result";
        }
    }

    Connector Pipe1 = {
        Roles = {src : Role; snk : Role};
        Properties = {
            protocol : string = "synchronous-data-flow";
            capacity : int = 1;
        }
    }

    Connector Pipe2 = {
        Roles = {src : Role; snk : Role};
        Properties = {
            protocol : string = "synchronous-data-flow";
            capacity : int = 1;
        }
    }

    Connector Pipe3 = {
        Roles = {src : Role; snk : Role};
        Properties = {
            protocol : string = "synchronous-data-flow";
            capacity : int = 1;
        }
    }

    Attachments = {
        Source.out     to Pipe1.src;
        Pipe1.snk      to Transform.in;
        Transform.out  to Pipe2.src;
        Pipe2.snk      to Accumulator.in;
        Accumulator.out to Pipe3.src;
        Pipe3.snk      to Sink.in;
    }
}

Real programs from Software Heritage

No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)

Contribute — propose a file extension

Tell us where to find evidence about Acme (mapped to pl/acme). 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/Acme/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← ACL2 Acme::Bleach →