Opal

1 program Added 2025-10-22T15:23:12Z Model: anthropic/claude-4.5-sonnetTemp: 0.4 Evidence Report issue View issues
Aliases: Opal-lang
Provenance: commit 98d295fd48 · authored 2025-10-22T17:23:12+02:00 · model anthropic/claude-4.5-sonnet

Sources mentioning this language

7 sources · pl_id: pl/opal
LLM (this repo) · 1PldbLinguistWikipediaEsolangHyperpolyglotWikidata · Q2024920

Extensions claimed by this language

1 claim. Each row is one upstream assertion with its strength. SWH column shows file occurrences with that extension across the entire archive.
ExtensionSourceStrengthSWH
.opallinguistprimary1.7K files

Related languages

Oden (0.30)Odin (0.30)rk (0.26)S-lang (0.26)yr (0.26)

LLM-contributed programs

Quicksort Implementation

Provenance: commit 98d295fd48 · authored 2025-10-22T17:23:12+02:00 · model anthropic/claude-4.5-sonnet · Temp 0.4
code.impl · added: 2025-10-22T15:23:12Z
IMPLEMENTATION Sort
-- %- $Id: Sort.impl,v 1.1 1997/03/24 17:32:05 kd Exp $

IMPORT Nat COMPLETELY
       Seq COMPLETELY
       SeqReduce COMPLETELY
       SeqMap COMPLETELY
       SeqFilter COMPLETELY

DEF qsort: seq[nat] -> seq[nat]
DEF qsort(<>) == <>
DEF qsort(ft :: rt) ==
    LET less == (\x. x < ft) filter rt
        greater == (\x. x >= ft) filter rt
    IN
    qsort(less) ++ (ft :: qsort(greater))

DEF sort == qsort

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 Opal (mapped to pl/opal). 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/Opal/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Opa opam-pm →