Softanza
StartFrançais
Softanza
In one hour

Start

One public repository, an install in three steps, a first program, the course reader as a page of this site. Every command on this page was run on the night of publication.

The runtime, plainly Softanza runs today on its Ring face, kept so that the code already written keeps working. Ring++ is the bridge, in construction. Haro is the destination.

Who are you?

Each reader has a page that reads the whole site from their place: where to start, the path, and the pages that matter to them.

The repository

Everything is in one place: the foundation, its engine, its guards, its narrations and its course.

github.com/mayouni/stzlib

Public under the MIT licence since 12 March 2022. Issues, security advisories and the whole history are there.

github.com/mayouni/stzlib(opens in a new tab)

Install

Three steps. Nothing is installed in the sense of an installer: one folder, copied, and the runtime that runs it.

1. Get the repository.

git clone https://github.com/mayouni/stzlib.git
cd stzlib/libraries/stzlib

2. Get the runtime, version 1.27.0, the one these pages were run with, from ring-lang.net(opens in a new tab). Starting the runtime with no argument prints its version, so you know it is there. The Zig engine ships as compiled libraries for Windows and builds for Linux and macOS from source; the repository says how.

3. Write the first program. In the folder libraries/stzlib, create a file first.ring whose first line loads the library, then the program of the next section:

load "stzLib.ring"

Run it from that folder:

ring first.ring

The first run takes about seven seconds, because the library and its engine load.

The first program

first
o1 = new stzList([ "A", "", "B", "", "", "C" ])
? o1.ContainsEmptyStrings()

? Q("Softanza").Boxed()
Output
1
┌──────────┐
│ Softanza │
└──────────┘

run on 2026-10-09 at 00:52 as ring first.ring from libraries/stzlib, in 6.9 seconds, Softanza at commit 4a184e6f0(opens in a new tab)

Which page answers what

The site has one page for each kind of question. When you do not know a name, press / or Ctrl+K on any page: the search finds classes, methods, areas and recipes.

You want toOpen
learn the way of thinking, step by stepLearn, then the interactive course
do one task now, such as removing duplicatesHow-to
know exactly what a method does, and its other formsReference, or the search
see everything one area offers, from strings to mapsThe areas
understand why a part was designed the way it isNarrations
know what is built and what is not yetProof
decide whether an organisation should use itOrganisations
point an AI agent at itFor agents

The first narration

A narration is a document that tells a part of the library as a story, in code written to be run as it is read. Start with the mental model, then the agents that cannot hurt you. To see a narration judged block by block, open Repetition with Elegance, run for this site: its six blocks print what they promise. All 135 are listed under Learn, in Narrations.

The course reader

The reader is a page of this site: open the reader. It was built from the library on 2026-09-30, and the Learn page says how to learn with it, step by step. To rebuild it yourself, from your copy of the repository:

cd libraries/stzlib/base/education/tools
ring build_reader.ring reader.html

run on 2026-09-30 at 23:02: "15 of 15 chapters, 3 of 3 world pages", every edition green, in 3 minutes 22 seconds

And to play the fifteen-minute demo for decision makers, whose last line must read "DEMO: 20 proved, 0 not proved":

cd libraries/stzlib/base/education/demo
ring demo.ring rehearsal

run on 2026-09-30 at 23:10, in 49 seconds, 20 proofs out of 20

Your first application

A first program is a list. A first application is a world: your first application says what it is made of and which narration builds one, and the applications page says what holds it up and which surfaces exist.

Write

Questions, defect reports and proposals go through the issues of the GitHub repository(opens in a new tab). A security flaw is reported privately through the repository's security advisories, as its SECURITY.md(opens in a new tab) says. An edition of the course in your language starts with a folder of plain-text chapters: the Learn page says how the course's court will judge it. The Editions page says what exists today and what is to come.

Check this site offline

Before a presentation with no network, open deck-check.html from the site's folder: the page loads every asset the presentation needs and says which one is missing.