Softanza
The Governed Software Platform of the AI Age.
Declare what you know. A court keeps it. The AI model comes last.
Home1 / 13
The architecture since 2020 · read band by band against what exists, September 2026
The north star2 / 13
Softanza's approach to programming in the agentic age
Declare a language
With Softanza you do not write software.
You declare worlds in languages made for their domains, and you govern how those worlds change.
This is not today's practice. It is Softanza's proposal: a platform that knows your world.
Vision3 / 13
One engine, twenty-eight areas
One engine in Zig, a language as its face
401Zig source files, 179,000 lines
531,000lines of library, 306,000 of tests
334lanes rated in the Atlas
5,824commits since 12 March 2022
One engine in Zig · one language, Haro, in construction · twenty-eight areas, each rated honestly against .NET, Python, Wolfram and the JVM.
Platform4 / 13
The language of languages, and the platform of platforms · the construction runs in the library
Platform of platforms5 / 13
Twenty-eight areas, one engine · every picture produced by the platform itself
StringA string is a sequence of characters a person reads, counted in Unicode code points, never in the bytes a machine stores.12 lanes : 6 Strong · 4 Solid · 1 Partial · 1 Emerging
Pattern matchingPattern matching is one way of thinking for every kind of data. The regex is its entry point; Softanza carries the same idea to lists, numbers, time, tables, matrices and graphs, and lets you build a pattern in words or call it by its name.12 lanes : 4 Strong · 5 Solid · 3 Partial
Collections & objectsThe same few questions — does it contain, how many, where — and the same verbs work on every structure; only the unit of position changes.12 lanes : 6 Strong · 5 Solid · 1 Partial
Numeric & optimizationA number should know whether it is exact and say why when it is not, and the frame that bends a result must be visible where the number is used.12 lanes : 5 Strong · 5 Solid · 2 Partial
Tables & dataA table is a grid people read like a spreadsheet — named columns, rows and cells — and every column is a list you can question.12 lanes : 2 Strong · 7 Solid · 3 Partial
InternationalizationA locale says how a value is written down; a culture says how it will be read, and no meaning may be inferred from a locale code alone.12 lanes : 4 Solid · 4 Partial · 4 Emerging
NLP & linguisticsA string is characters; a text is a string raised to meaning, and every language capability must work locally, with nothing to install or download.12 lanes : 3 Strong · 5 Solid · 3 Partial · 1 Emerging
Neural tierEvery capability works with no model at all, gets sharper when a local model is present, and never depends on anything paid or remote.12 lanes : 4 Strong · 4 Solid · 3 Partial · 1 Emerging
Agents & conversationSoftanza does not try to build a safe agent; it builds a safe world and lets ordinary agents work inside it.12 lanes : 4 Strong · 4 Solid · 3 Partial · 1 Emerging
GraphicsGraphics is not a new engine: it is the GPU layer Softanza already owns, taught to draw as well as compute.12 lanes : 6 Strong · 3 Solid · 2 Partial · 1 Emerging
Geo & cartographyA map makes claims about the world, so it must say how it was made and assert nothing it cannot check.12 lanes : 5 Strong · 2 Solid · 4 Partial · 1 Emerging
Diagramming & graphsA diagram is a visual language, not a painting: every relation a reader can see in it must be one the graph actually contains.12 lanes : 4 Strong · 5 Solid · 3 Partial
GPUThe GPU is used only where a measurement shows it wins, and the CPU path always remains the reference answer.12 lanes : 5 Strong · 4 Solid · 3 Partial
GUI & reactiveSoftanza declarations are the contract; the markup a UI engine reads is only one projection of them, generated and never written by hand.12 lanes : 2 Strong · 6 Solid · 4 Partial
Statistics & data-vizExplore before you model: data is a fit plus a residual, computed so that one wild value cannot sway it, and the data itself tells which scale to read it on.12 lanes : 2 Strong · 4 Solid · 3 Partial · 3 Emerging
System programmingOnly the engine touches the real system; everything above it is a view or a rehearsal, and reality changes only when a governed plan crosses the one door.12 lanes : 1 Strong · 7 Solid · 3 Partial · 1 Emerging
Concurrency & distributionA process is the natural unit of concurrency: nodes share nothing, talk only by messages, and every crossing has a measured cost that decides whether it pays.12 lanes : 6 Strong · 4 Solid · 1 Partial · 1 Emerging
Web & app serverThe server is a host, not a per-request library: the engine is already loaded and warm, and the server only moves requests onto it and results back.12 lanes : 4 Strong · 5 Solid · 2 Partial · 1 Emerging
PerformancePerformance is something a program knows about itself: the engine measures, the code declares the budget, and any corrective act passes through governance.12 lanes : 6 Strong · 5 Solid · 1 Partial
Metaprogramming & code rulesA house rule is not folklore or a text pattern: it is an object checked over a model of the code, runnable by any programmer, human or machine.12 lanes : 1 Strong · 7 Solid · 4 Partial
Files & formatsYou reach a file by what you intend to do with it, and each format is parsed once, in the engine, by a parser whose refusals are part of its safety.12 lanes : 1 Strong · 6 Solid · 4 Partial · 1 Emerging
Binary formatsA binary file is a table the bytes forgot to show: write its layout down once, as data, and the bytes become rows and columns.10 lanes : 1 Partial · 9 Emerging
Security & governanceExpression is free, admission is governed: anyone may compose and propose, but only an actor entitled to cause effects may commit.12 lanes : 3 Strong · 6 Solid · 2 Partial · 1 Emerging
Extensibility & foreign codeA plugin is governed foreign capability: code the host does not own, run under a contract the host enforces.12 lanes : 1 Strong · 2 Solid · 3 Partial · 6 Emerging
SoundA sound is described, not hand-built: you declare a graph or a meaning, the engine renders it, and a listener is the last judge.12 lanes : 5 Strong · 5 Solid · 1 Partial · 1 Emerging
Test & quality systemEvery expected value written down is a promise, and it counts only once a run that could have failed has kept it.12 lanes : 4 Strong · 6 Solid · 2 Partial
Documentation systemDocumentation is run, not just written: every example shows real output, and the library can explain itself from its own source.12 lanes : 3 Strong · 6 Solid · 2 Partial · 1 Emerging
Governance doctrineDo not try to build safe agents; build a safe world and let ordinary agents work inside it.12 lanes : 5 Strong · 5 Solid · 2 Partial
The areas6 / 13
The code, beside JavaScript · each side run
Softanza
? Q(2).Power(64)
? Q("مرحبا بالعالم").Script()
? @@( Naturally("Create a list with [ 5, 3, 5, 1 ]
and remove its duplicates").Result() )Output
18446744073709551616 arabic [ 5, 3, 1 ]
JavaScript answers 18446744073709552000 to the first line. The third line has no counterpart without an external AI model.
The code7 / 13
Agents that cannot hurt you
The agent proposes. It does not commit.
A student lets loose an agent that "tidies" the course
Update plan (610 of 610 operations to commit): * 1. delete file '…/course.zknw' * 2. delete file '…/curriculum.zknw' ...
The court answers
actor 'amina-helper-llm' cannot commit -- it lacks the 'effectful' capability PROVED the course folder still holds all 610 files
38guarantees, each with its guard
395 msto detect an attack, measured
50 msto contain it, verified from outside
Agentic8 / 13
Wise coding, against vibe coding · proved by two guards, 13 of 13 and 52 of 52
Wise coding9 / 13
Where the platform stands · stages read in the repositories today
The estate10 / 13
The Learning System · 15 chapters × 4 languages, every cell ran · fr, ar, ha are drafts · desktop only · no adopter yet
Three steps: introduction, book, documentation
Hausa · Nemo, sannan ka aiwatar
Kowane wurin aiki yana karɓar buƙatu: gidan abinci yana karɓar oda, banki yana karɓar tikiti.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
French · Trouver, puis agir
Tout lieu de travail reçoit des demandes : un restaurant reçoit des commandes, une banque reçoit des tickets.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
Open the reader · en · fr · ar · ha · built in 3 minutes 22 seconds, every cell green
Learn11 / 13
Born in Africa
Africa12 / 13
Start, in one hour
One public repository. One folder, copied.
git clone https://github.com/mayouni/stzlib.git cd stzlib/libraries/stzlib
first
? Q("Softanza").Boxed()Output
┌──────────┐ │ Softanza │ └──────────┘
github.com/mayouni/stzlib · open, MIT: the whole platform, nothing withheld
Start13 / 13