ELLA

1 program Added 2026-02-06T17:47:34Z Agent: claude-codeModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit 8a4d67da6f · authored 2026-02-06T18:48:40+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

Abella (0.40)Elsa (0.33)Elisa (0.30)ELENA (0.27)Scilla (0.27)

LLM-contributed programs

Full Adder Circuit

Provenance: commit 8a4d67da6f · authored 2026-02-06T18:48:40+01:00 · agent claude-code · model sonnet · WebSearch disabled
code.ella · added: 2026-02-06T17:47:34Z
ELLA_PROGRAM full_adder;

TYPE bit = (0, 1);

FN xor(a, b: bit) RETURNS bit =
  CASE (a, b) OF
    (0, 0) -> 0,
    (0, 1) -> 1,
    (1, 0) -> 1,
    (1, 1) -> 0
  ESAC;

FN and(a, b: bit) RETURNS bit =
  CASE (a, b) OF
    (0, 0) -> 0,
    (0, 1) -> 0,
    (1, 0) -> 0,
    (1, 1) -> 1
  ESAC;

FN or(a, b: bit) RETURNS bit =
  CASE (a, b) OF
    (0, 0) -> 0,
    (0, 1) -> 1,
    (1, 0) -> 1,
    (1, 1) -> 1
  ESAC;

FN full_adder(a, b, cin: bit) RETURNS (sum, cout: bit) =
  LET s1 = xor(a, b),
      c1 = and(a, b),
      sum = xor(s1, cin),
      c2 = and(s1, cin),
      cout = or(c1, c2)
  IN (sum, cout);

END full_adder.

Contribute — propose a file extension

Tell us where to find evidence about ELLA (mapped to pl/ella). 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/ELLA/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Elk ella-programming-language →