# Hilde > Hilde is a small, strict systems language that compiles to C, for Unix systems and for WebAssembly, with linear types, contracts and a stable code for every compiler error. Hilde is a small, strict systems language that compiles to C, with linear types, contracts and a stable code for every compiler error. This file lists the pages of https://hilde-lang.org/ for language models; every page exists in English and, under /de/, in German. ## Pages - [About](https://hilde-lang.org/about/): Who makes Hilde, where the name comes from, and the two cats behind the names Hilde and Wolly. - [Basics](https://hilde-lang.org/basics/): What one needs to know in Hilde, in the order to learn it: modules, functions, records and unions, references and borrowing, regions, linear types, contracts, error handling, unsafe and tasks. - [BUNTI](https://hilde-lang.org/bunti/): BUNTI, a two-dimensional colour code a camera reads, from Wolly: four colours for the DNA bases A, C, G and T, Reed-Solomon and CRC-32. - [Databases](https://hilde-lang.org/database/): Databases in Hilde: SQLite with SQL checked when the programme is compiled, SQLCipher, SQLite replicated through Raft, DuckDB, PostgreSQL and MariaDB behind one interface. - [Design decisions](https://hilde-lang.org/decisions/): The main design decisions of Hilde in short: what was decided, why, and which alternative was set aside. - [Standard.Arguments for those who know clap](https://hilde-lang.org/docs/arguments-from-clap/): This is a map from clap's builder API to Standard.Arguments, for an agent or a person who has written command lines in Rust with clap and now writes them in Hilde. It says what to call, where Hilde ... - [Hiawatha in front of a Hilde service](https://hilde-lang.org/docs/hiawatha/): Hiawatha is an open source web server by Hugo Leisink, built for security, ease of use and a small footprint. It speaks FastCGI, TLS and HTTP/2, rewrites URLs, proxies, and blocks SQL injection, XSS, ... - [Traps in writing Hilde](https://hilde-lang.org/docs/hilde-traps/): Every trap met in writing the compiler, the standard library or an application built on them, in one list: the error code and what the compiler said, the wrong and the right code, and a rule in one ... - [Writing Hilde: a guide for models](https://hilde-lang.org/docs/learning-hilde/): This guide is written for a model – or a person – about to write Hilde code with a compiler at hand, and it keeps to one rule: every programme here is in examples/ and the project's checks compile ... - [Sperli: ranks that send each other messages](https://hilde-lang.org/docs/sperli/): Sperli (Simple Parallel Execution over Remote Links Interface) is the cluster layer of Hilde: a job of n ranks, each a process on a listed host, that send and receive messages with a tag. It has the ... - [SPERLI wire protocol, version 1](https://hilde-lang.org/docs/sperli-protocol/): SPERLI (Simple Parallel Execution over Remote Links Interface) is the cluster layer of Hilde: a job of size ranks, each a process on a listed host, talking over TLS. It is not MPI-compatible. It ... - [The standard library](https://hilde-lang.org/docs/standard-library/): Every module of the standard library, in the order of its name, with the head of its interface: what it is for, what it guarantees, and an example. The modules named Bindings bind a C library and are ... - [Hilde syntax](https://hilde-lang.org/docs/syntax/): This page describes the syntax of Hilde as the Hilde compiler reads it. Hilde is a fork of Austral; where Hilde's syntax differs from Austral's, a paragraph says so. - [The unsafe modules of the standard library](https://hilde-lang.org/docs/unsafe/): A module is unsafe when its body says pragma Unsafe_Module;. Only an unsafe module may bind a C function (pragma Foreign_Import), paste C into the program (@embed), or import Hilde.Memory, the ... - [Documentation](https://hilde-lang.org/docs/): Where the documentation of Hilde lies: syntax, error codes, the standard library, the package manager, SPERLI, Hiawatha, and llms.txt for language models. - [Error codes](https://hilde-lang.org/errors/): Every error code of the Hilde compiler with its meaning and a short example, generated from the compiler's source. - [How Hilde is made](https://hilde-lang.org/how/): Hilde is built with AI support: Heiko Zimmermann designs, decides and reviews, and every change must pass the compiler's rules, the contracts, the tests and the test runs. - [Imprint](https://hilde-lang.org/imprint/): Imprint of hilde-lang.org: the provider according to § 5 DDG and the person responsible for the content according to § 18 (2) MStV. - [Hilde, a small and strict systems language](https://hilde-lang.org/): Hilde is a small, strict systems language that compiles to C, for Unix systems and for WebAssembly, with linear types, contracts and a stable code for every compiler error. - [Install](https://hilde-lang.org/install/): How to build the Hilde compiler on Linux, OpenBSD and FreeBSD, and how to check a release archive with signify. - [Learn Hilde](https://hilde-lang.org/learn/): A short tour of Hilde with complete programmes from the repository and the output they print, and a placeholder for a playground in WebAssembly. - [Licence](https://hilde-lang.org/license/): The licences of Hilde, of Austral, its origin, of the code Hilde carries from others, and of the C libraries it binds, as the repositories record them. - [MIRCO](https://hilde-lang.org/mirco/): MIRCO, the science kit of Hilde: arrays, linear algebra, FFT, integration, interpolation, optimisation, statistics, random numbers, units and scientific file formats. - [Packages](https://hilde-lang.org/packages/): The package manager of Hilde: making a package, getting and checking dependencies, building, --json, C sources with [c-source], and signatures with signify. - [Privacy](https://hilde-lang.org/privacy/): Privacy policy of hilde-lang.org according to the GDPR: server log files, contact by e-mail, HTTPS, hosting in Germany and Cloudflare as CDN; no cookies, no tracking, no analytics. - [Raft](https://hilde-lang.org/raft/): Raft in Hilde's standard library: a pure state machine with its invariants as contracts, messages over TCP, and SQLite replicated through it. - [RAMBO](https://hilde-lang.org/rambo/): RAMBO, the sign-in service in Hilde: OpenID Provider for the projects around Hilde and for Gitea, tokens signed with ML-DSA-44, passkeys, and user management on the command line. - [Roadmap](https://hilde-lang.org/roadmap/): Where Hilde stands: 1.0 and 1.0.1 are released, what Hilde adds to Austral, the platforms, and the goals. - [SCHLUCKI](https://hilde-lang.org/schlucki/): SCHLUCKI, the tables of MIRCO: named columns, missing values, select, filter, sort, group, join, CSV, SQLite and DuckDB. - [Security](https://hilde-lang.org/security/): What Hilde guards against: linear types and contracts, unsafe code only in the bindings, a sandbox with pledge, unveil and Landlock on four systems, ML-DSA-44 with Ed25519, Vault and the HTML sanitizer. - [SPERLI](https://hilde-lang.org/sperli/): SPERLI, parallel jobs over the network in Hilde: ranks that send each other messages over TLS 1.3, a launcher, collectives and signed checkpoints. - [Why Hilde](https://hilde-lang.org/why/): Why Hilde is built as it is: readable code and clear error codes for people and for AI, C as the target, concurrency after Go, and unsafe code only in the bindings. - [Wolly](https://hilde-lang.org/wolly/): Wolly, the web framework in Hilde: a FastCGI responder behind Hiawatha, with sign-in, passkeys, forms, charts, Markdown and images, written without unsafe code. - [YOMPI](https://hilde-lang.org/yompi/): YOMPI, the plots of MIRCO: lines, points, histograms and heatmaps as SVG or PNG, drawn in Hilde. ## German - [Über Hilde](https://hilde-lang.org/de/about/): Wer Hilde macht, woher der Name kommt, und die zwei Katzen hinter den Namen Hilde und Wolly. - [Grundlagen](https://hilde-lang.org/de/basics/): Was man in Hilde wissen muss, in der Reihenfolge zum Lernen: Module, Funktionen, Records und Unions, Referenzen und Ausleihen, Regionen, lineare Typen, Verträge, Fehlerbehandlung, unsafe und Tasks. - [BUNTI](https://hilde-lang.org/de/bunti/): BUNTI, ein zweidimensionaler Farbcode, den eine Kamera liest, aus Wolly: vier Farben für die DNA-Basen A, C, G und T, Reed-Solomon und CRC-32. - [Datenbanken](https://hilde-lang.org/de/database/): Datenbanken in Hilde: SQLite mit SQL, das beim Übersetzen geprüft wird, SQLCipher, SQLite repliziert über Raft, DuckDB, PostgreSQL und MariaDB hinter einer Schnittstelle. - [Entwurfsentscheidungen](https://hilde-lang.org/de/decisions/): Die wichtigsten Entwurfsentscheidungen von Hilde in Kürze: was entschieden wurde, warum, und welche Alternative beiseitegelegt wurde. - [Standard.Arguments für alle, die clap kennen](https://hilde-lang.org/de/docs/arguments-from-clap/): Diese Seite stellt die Builder-API von clap neben Standard.Arguments. Sie ist für alle gedacht, Mensch oder KI-Assistent, die Kommandozeilen in Rust mit clap geschrieben haben und sie jetzt in Hilde ... - [Hiawatha vor einem Hilde-Dienst](https://hilde-lang.org/de/docs/hiawatha/): Hiawatha ist ein quelloffener Webserver von Hugo Leisink. Er ist auf Sicherheit, einfache Bedienung und wenig Ressourcen ausgelegt. Er kann FastCGI, TLS und HTTP/2, schreibt URLs um, arbeitet als ... - [Fallstricke beim Schreiben von Hilde](https://hilde-lang.org/de/docs/hilde-traps/): Diese Liste sammelt jeden Fallstrick, auf den wir beim Schreiben des Compilers, der Standardbibliothek und der Anwendungen darauf gestoßen sind. Zu jedem stehen der Fehlercode und die Meldung des ... - [Hilde schreiben: ein Leitfaden für Modelle](https://hilde-lang.org/de/docs/learning-hilde/): Dieser Leitfaden ist für ein Sprachmodell geschrieben, aber genauso für einen Menschen, der mit einem Compiler zur Hand Hilde-Code schreiben will. Für ihn gilt eine Regel: Jedes Programm hier steht ... - [Sperli: Ränge, die einander Nachrichten schicken](https://hilde-lang.org/de/docs/sperli/): Sperli (Simple Parallel Execution over Remote Links Interface) ist die Cluster-Schicht von Hilde: ein Job aus n Rängen, jeder ein Prozess auf einem gelisteten Host, die Nachrichten mit einem Tag ... - [SPERLI-Wire-Protokoll, Version 1](https://hilde-lang.org/de/docs/sperli-protocol/): SPERLI (Simple Parallel Execution over Remote Links Interface) ist die Cluster-Schicht von Hilde: ein Job aus size Rängen, jeder ein Prozess auf einem gelisteten Host, die über TLS miteinander ... - [Die Standardbibliothek](https://hilde-lang.org/de/docs/standard-library/): Jedes Modul der Standardbibliothek, in der Reihenfolge seines Namens, mit dem Kopf seiner Schnittstelle: wofür es da ist, was es garantiert, und ein Beispiel. Die Module namens Bindings binden eine ... - [Syntax von Hilde](https://hilde-lang.org/de/docs/syntax/): Diese Seite beschreibt, wie der Hilde-Compiler Hilde-Quelltext liest. Hilde ist aus Austral hervorgegangen. Wo sich die Syntax von Austral unterscheidet, steht das in einem eigenen Absatz. - [Die unsicheren Module der Standardbibliothek](https://hilde-lang.org/de/docs/unsafe/): Ein Modul ist unsicher, wenn in seinem Rumpf pragma Unsafe_Module; steht. Nur ein unsicheres Modul darf eine C-Funktion binden (pragma Foreign_Import), C in das Programm einbetten (@embed) oder ... - [Dokumentation](https://hilde-lang.org/de/docs/): Wo die Dokumentation von Hilde liegt: Syntax, Fehlercodes, Standardbibliothek, Paketmanager, SPERLI, Hiawatha und llms.txt für Sprachmodelle. - [Fehlercodes](https://hilde-lang.org/de/errors/): Alle Fehlercodes des Hilde-Compilers mit Bedeutung und kurzem Beispiel, erzeugt aus der Quelle des Compilers. - [Wie Hilde entsteht](https://hilde-lang.org/de/how/): Hilde entsteht mit KI-Unterstützung: Heiko Zimmermann entwirft, entscheidet und prüft, und jede Änderung muss die Regeln des Compilers, die Verträge, die Tests und die Prüfläufe bestehen. - [Impressum](https://hilde-lang.org/de/impressum/): Impressum von hilde-lang.org: Anbieter nach § 5 DDG und Verantwortlicher für den Inhalt nach § 18 Abs. 2 MStV. - [Hilde, eine kleine und strenge Systemsprache](https://hilde-lang.org/de/): Hilde ist eine kleine, strenge Systemsprache, die nach C übersetzt, für Unix-Systeme und für WebAssembly, mit linearen Typen, Verträgen und einem festen Code für jeden Fehler des Compilers. - [Installation](https://hilde-lang.org/de/install/): Wie man den Hilde-Compiler unter Linux, OpenBSD und FreeBSD baut und ein Release-Archiv mit signify prüft. - [Hilde lernen](https://hilde-lang.org/de/learn/): Eine kurze Tour durch Hilde mit vollständigen Programmen aus dem Repository und ihrer Ausgabe, dazu ein Platzhalter für einen Playground in WebAssembly. - [Lizenz](https://hilde-lang.org/de/license/): Die Lizenzen von Hilde, von Austral als Ursprung, des Codes, den Hilde von anderen mitführt, und der C-Bibliotheken, die es bindet, so wie die Repositories sie festhalten. - [MIRCO](https://hilde-lang.org/de/mirco/): MIRCO, das Wissenschaftspaket von Hilde: Arrays, lineare Algebra, FFT, Integration, Interpolation, Optimierung, Statistik, Zufallszahlen, Einheiten und wissenschaftliche Dateiformate. - [Pakete](https://hilde-lang.org/de/packages/): Der Paketmanager von Hilde: ein Paket anlegen, Abhängigkeiten holen und prüfen, bauen, --json, C-Quellen mit [c-source] und Signaturen mit signify. - [Datenschutz](https://hilde-lang.org/de/datenschutz/): Datenschutzerklärung von hilde-lang.org nach DSGVO: Server-Logdateien, Kontakt per E-Mail, HTTPS, Hosting in Deutschland und Cloudflare als CDN; keine Cookies, kein Tracking, keine Analyse. - [Raft](https://hilde-lang.org/de/raft/): Raft in Hildes Standardbibliothek: eine reine Zustandsmaschine mit ihren Invarianten als Verträge, Nachrichten über TCP und SQLite, darüber repliziert. - [RAMBO](https://hilde-lang.org/de/rambo/): RAMBO, der Anmeldedienst in Hilde: OpenID Provider für die Projekte rund um Hilde und für Gitea, Tokens mit ML-DSA-44 signiert, Passkeys und Benutzerverwaltung auf der Kommandozeile. - [Roadmap](https://hilde-lang.org/de/roadmap/): Wo Hilde steht: 1.0 und 1.0.1 sind veröffentlicht, was Hilde zu Austral hinzufügt, die Plattformen und die Ziele. - [SCHLUCKI](https://hilde-lang.org/de/schlucki/): SCHLUCKI, die Tabellen von MIRCO: benannte Spalten, fehlende Werte, select, filter, sort, group, join, CSV, SQLite und DuckDB. - [Sicherheit](https://hilde-lang.org/de/security/): Wogegen Hilde schützt: lineare Typen und Verträge, unsafe nur in den Bindings, eine Sandbox mit pledge, unveil und Landlock auf vier Systemen, ML-DSA-44 mit Ed25519, Vault und der HTML-Sanitizer. - [SPERLI](https://hilde-lang.org/de/sperli/): SPERLI, parallele Jobs über das Netz in Hilde: Ränge, die sich Nachrichten über TLS 1.3 schicken, ein Launcher, kollektive Operationen und signierte Checkpoints. - [Warum Hilde](https://hilde-lang.org/de/why/): Warum Hilde so gebaut ist: lesbarer Code und klare Fehlercodes für Menschen und für KI, C als Ziel, Nebenläufigkeit nach Go und unsafe nur in den Bindings. - [Wolly](https://hilde-lang.org/de/wolly/): Wolly, das Web-Framework in Hilde: ein FastCGI-Responder hinter Hiawatha, mit Anmeldung, Passkeys, Formularen, Diagrammen, Markdown und Bildern, ohne unsafe-Code geschrieben. - [YOMPI](https://hilde-lang.org/de/yompi/): YOMPI, die Plots von MIRCO: Linien, Punkte, Histogramme und Heatmaps als SVG oder PNG, in Hilde gezeichnet. ## Sources - The Hilde repository carries its own llms.txt, the syntax in docs/syntax.en.md and every error code with an example in docs/errors.en.md. - Error codes on this site: https://hilde-lang.org/errors/#, for example https://hilde-lang.org/errors/#H4012.