Group: Souther

Sort by:Popular▼

✓Popular✓Newest

The Souther compiler: lexer, parser, type checker, and a ClassFile-API backend that emits JVM bytecode directly. No external dependencies beyond the JDK.

Runtime library for the domain world of Souther-generated bytecode: Result, Option, Behavior, Violation, Lists, Maps. Raoh-free — decode/encode target Raoh directly from generated code, not through this module (spec §codec-generation, ...

What a binding generator is written against: the model of a library, the interface the command finds a generator by, and how a binding is put in place. It depends on nothing of the compiler and on no library of its own, so a generator cannot reach a ...

Souther Lang Souther

Compiles a checked Souther program to a host-native object, and writes a library and the bindings of it through the generators it finds.

What a binding generator is tested with outside this repository: Souther sources built into a library by the compiler and the driver of the same release, and handed over as the input a generator is given, with the library and its header beside it.

The service interface a build plugin drives a Souther compile through, and nothing else. A plugin links this; the driver that implements it ships with the compiler, is resolved for the Souther version the project names, and is loaded ...

The Souther front-end: the lossless concrete syntax tree (lexer, recovering parser, red/green nodes) and the structured diagnostics. This layer carries no type checker or code generator, so the formatter and the language server can ...

Runs a compile for a build plugin, over the build API. This ships with the compiler and at its version, so what a build plugin resolves for a Souther version is this artifact, and its dependencies are that version's toolchain.

The Souther source formatter: a single-canonical-form (gofmt-style) pretty-printer over the concrete syntax tree. It depends only on souther-syntax, so it needs neither the type checker nor the code generator.

Stands where an output outside souther-compiler stands. It depends on souther-compiler and on nothing else of this project, reads a checked program through the boundary meant for it, and holds that boundary to what it is for: a ...

Holds the checks whose population is the whole reactor, and nothing else — its compiled output, or its sources where the fact a check is about is written in them rather than kept in a class file. A check that reads compiled classes ...

Writes the Go binding of a library from its manifest.

Writes the PHP binding of a library from its manifest.

Writes the Rust binding of a library from its manifest.

Compiles a checked Souther program to a host-native object.

Souther: a JVM language that turns SMDD spec models into implementation models.

Compiles a checked Souther program to a WebAssembly module.

Souther Gradle Plugin

Souther Clj