Vala

1 program Added 2025-10-22T09:41:18Z Model: anthropic/claude-3.5-sonnetTemp: 0.4 Evidence Report issue View issues
Aliases: Vala, vala
Provenance: commit e1ba41bbf4 · authored 2025-10-22T11:41:18+02:00 · model anthropic/claude-3.5-sonnet

Sources mentioning this language

8 sources · pl_id: pl/vala
LLM (this repo) · 1PldbLinguistPygmentsWikipediaHyperpolyglotRosettacodeWikidata · Q1138939

Wikipedia infobox

Pulled from the wikimedia/structured-wikipedia snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and pl_fact.csv for the long-table provenance.

Paradigmsmulti-paradigm: imperative · structured · object-oriented
Typingstatic, strong, inferred, structural
Designed byJürg Billeter · Raffaele Sandrini · Rico Tzschichholz
First appeared2006
Influenced byC · C++ · C# · D · Java · Boo
LicenseLGPL 2.1+
Homepagehttps://vala.dev

Extensions claimed by this language

6 claims. Each row is one upstream assertion with its strength. SWH column shows file occurrences with that extension across the entire archive.
ExtensionSourceStrengthSWH
.valalinguistprimary791.6K files
.valapygmentsprimary791.6K files
.valawikidataprimary791.6K files
.vapiwikidataprimary34.7K files
.vapilinguistsecondary34.7K files
.vapipygmentssecondary34.7K files

Related languages

Vale (0.30)Catala (0.25)Ursala (0.25)Viola (0.19)Cola (0.18)

LLM-contributed programs

Hello World GTK Application

Provenance: commit e1ba41bbf4 · authored 2025-10-22T11:41:18+02:00 · model anthropic/claude-3.5-sonnet · Temp 0.4
code.vala · license: LGPL-2.1 · added: 2025-10-22T09:41:18Z
using Gtk;

public class HelloWorld : Window {
    public HelloWorld() {
        this.title = "Hello World";
        this.window_position = WindowPosition.CENTER;
        this.destroy.connect(Gtk.main_quit);
        this.set_default_size(350, 70);

        var label = new Label("Hello World!");
        this.add(label);
    }

    public static int main(string[] args) {
        Gtk.init(ref args);

        var window = new HelloWorld();
        window.show_all();

        Gtk.main();
        return 0;
    }
}

Real programs from Software Heritage

1 sample mined from derived_datasets/<date>/contents/*.parquet, byte-verified against the SWH archive. Citation-grade qualified SWHIDs preserved.
frida-core-1.0.vapi · 19232 B · ext .vapi · seen 1× in SWH
via fallback
swh:1:cnt:44aac55f5fa654bc70c458bc2a3cec768c818a96;origin=https://github.com/anoane/frida-linux-arm-12.11.18.1-uClibc-0.9.33.2-prebuilt;anchor=swh:1:rev:dc616999022d0cfcc74c54ded4301e5a2e225e86;path=/frida_thin-linux-arm/share/vala/vapi/frida-core-1.0.vapi
Open in SWH · Raw bytes (SWH) · GitHub raw
Show source
[CCode (cheader_filename = "frida-core.h", cprefix = "Frida", lower_case_cprefix = "frida_")]
namespace Frida {
	public static void init ();
	public static void shutdown ();
	public static void deinit ();
	public static unowned GLib.MainContext get_main_context ();

	public class DeviceManager : GLib.Object {
		public DeviceManager ();

		public async void close (GLib.Cancellable? cancellable = null) throws GLib.IOError;
		public void close_sync (GLib.Cancellable? cancellable = null) throws GLib.IOError;
		public async Frida.Device get_device_by_id (string id, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device get_device_by_id_sync (string id, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device get_device_by_type (Frida.DeviceType type, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device get_device_by_type_sync (Frida.DeviceType type, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device get_device (Frida.DeviceManager.Predicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device get_device_sync (Frida.DeviceManager.Predicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device? find_device_by_id (string id, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device? find_device_by_id_sync (string id, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device? find_device_by_type (Frida.DeviceType type, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device? find_device_by_type_sync (Frida.DeviceType type, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device? find_device (Frida.DeviceManager.Predicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device? find_device_sync (Frida.DeviceManager.Predicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.DeviceList enumerate_devices (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.DeviceList enumerate_devices_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Device add_remote_device (string location, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Device add_remote_device_sync (string location, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void remove_remote_device (string location, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void remove_remote_device_sync (string location, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public delegate bool Predicate (Frida.Device device);

		public signal void added (Frida.Device device);
		public signal void changed ();
		public signal void removed (Frida.Device device);
	}

	public class DeviceList : GLib.Object {
		public int size ();
		public new Frida.Device @get (int index);
	}

	public class Device : GLib.Object {
		public string id { get; construct; }
		public string name { get; construct; }
		public Frida.Icon? icon { get; construct; }
		public Frida.DeviceType dtype { get; construct; }
		public weak Frida.DeviceManager manager { get; construct; }

		public bool is_lost ();
		public async Frida.Application? get_frontmost_application (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Application? get_frontmost_application_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.ApplicationList enumerate_applications (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.ApplicationList enumerate_applications_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process get_process_by_pid (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process get_process_by_pid_sync (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process get_process_by_name (string name, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process get_process_by_name_sync (string name, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process get_process (Frida.Device.ProcessPredicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process get_process_sync (Frida.Device.ProcessPredicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process? find_process_by_pid (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process? find_process_by_pid_sync (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process? find_process_by_name (string name, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process? find_process_by_name_sync (string name, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Process? find_process (Frida.Device.ProcessPredicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Process? find_process_sync (Frida.Device.ProcessPredicate predicate, int timeout = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.ProcessList enumerate_processes (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.ProcessList enumerate_processes_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void enable_spawn_gating (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void enable_spawn_gating_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void disable_spawn_gating (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void disable_spawn_gating_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.SpawnList enumerate_pending_spawn (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.SpawnList enumerate_pending_spawn_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.ChildList enumerate_pending_children (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.ChildList enumerate_pending_children_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async uint spawn (string program, Frida.SpawnOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public uint spawn_sync (string program, Frida.SpawnOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void input (uint pid, GLib.Bytes data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void input_sync (uint pid, GLib.Bytes data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void resume (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void resume_sync (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void kill (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void kill_sync (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Session attach (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Session attach_sync (uint pid, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async uint inject_library_file (uint pid, string path, string entrypoint, string data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public uint inject_library_file_sync (uint pid, string path, string entrypoint, string data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async uint inject_library_blob (uint pid, GLib.Bytes blob, string entrypoint, string data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public uint inject_library_blob_sync (uint pid, GLib.Bytes blob, string entrypoint, string data, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async GLib.IOStream open_channel (string address, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public GLib.IOStream open_channel_sync (string address, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public delegate bool ProcessPredicate (Frida.Process process);

		public signal void child_added (Frida.Child child);
		public signal void child_removed (Frida.Child child);
		public signal void lost ();
		public signal void output (uint pid, int fd, GLib.Bytes data);
		public signal void process_crashed (Frida.Crash crash);
		public signal void spawn_added (Frida.Spawn spawn);
		public signal void spawn_removed (Frida.Spawn spawn);
		public signal void uninjected (uint id);
	}

	public class ApplicationList : GLib.Object {
		public int size ();
		public new Frida.Application @get (int index);
	}

	public class Application : GLib.Object {
		public string identifier { get; construct; }
		public string name { get; construct; }
		public uint pid { get; construct; }
		public Frida.Icon? small_icon { get; construct; }
		public Frida.Icon? large_icon { get; construct; }
	}

	public class ProcessList : GLib.Object {
		public int size ();
		public new Frida.Process @get (int index);
	}

	public class Process : GLib.Object {
		public uint pid { get; construct; }
		public string name { get; construct; }
		public Frida.Icon? small_icon { get; construct; }
		public Frida.Icon? large_icon { get; construct; }
	}

	public class SpawnOptions : GLib.Object {
		public string[]? argv { get; set; }
		public string[]? envp { get; set; }
		public string[]? env { get; set; }
		public string? cwd { get; set; }
		public Frida.Stdio stdio { get; set; }
		public GLib.VariantDict aux { get; }

		public SpawnOptions ();
	}

	public class SpawnList : GLib.Object {
		public int size ();
		public new Frida.Spawn @get (int index);
	}

	public class Spawn : GLib.Object {
		public uint pid { get; construct; }
		public string? identifier { get; construct; }
	}

	public class ChildList : GLib.Object {
		public int size ();
		public new Frida.Child @get (int index);
	}

	public class Child : GLib.Object {
		public uint pid { get; construct; }
		public uint parent_pid { get; construct; }
		public Frida.ChildOrigin origin { get; construct; }
		public string? identifier { get; construct; }
		public string? path { get; construct; }
		public string[]? argv { get; construct; }
		public string[]? envp { get; construct; }
	}

	public class Crash : GLib.Object {
		public uint pid { get; construct; }
		public string process_name { get; construct; }
		public string summary { get; construct; }
		public string report { get; construct; }

		public GLib.VariantDict load_parameters ();
	}

	public class Icon : GLib.Object {
		public int width { get; construct; }
		public int height { get; construct; }
		public int rowstride { get; construct; }
		public GLib.Bytes pixels { get; construct; }
	}

	public class Session : GLib.Object {
		public uint pid { get; construct; }
		public weak Frida.Device device { get; construct; }

		public bool is_detached ();
		public async void detach (GLib.Cancellable? cancellable = null) throws GLib.IOError;
		public void detach_sync (GLib.Cancellable? cancellable = null) throws GLib.IOError;
		public async void enable_child_gating (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void enable_child_gating_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void disable_child_gating (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void disable_child_gating_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Script create_script (string source, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Script create_script_sync (string source, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async Frida.Script create_script_from_bytes (GLib.Bytes bytes, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public Frida.Script create_script_from_bytes_sync (GLib.Bytes bytes, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async GLib.Bytes compile_script (string source, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public GLib.Bytes compile_script_sync (string source, Frida.ScriptOptions? options = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void enable_debugger (uint16 port = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void enable_debugger_sync (uint16 port = 0, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void disable_debugger (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void disable_debugger_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void enable_jit (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void enable_jit_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;

		public signal void detached (Frida.SessionDetachReason reason, Frida.Crash? crash);
	}

	public class Script : GLib.Object {
		public uint id { get; construct; }

		public bool is_destroyed ();
		public async void load (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void load_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void unload (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void unload_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void eternalize (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void eternalize_sync (GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public async void post (string message, GLib.Bytes? data = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;
		public void post_sync (string message, GLib.Bytes? data = null, GLib.Cancellable? cancellable = null) throws Frida.Error, GLib.IOError;

		public signal void destroyed ();
		public signal void message (string message, GLib.Bytes? data);
	}

	public class ScriptOptions : GLib.Object {
		public string? name { get; set; }
		public Frida.S
…(truncated)…

Contribute — propose a file extension

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