Verona

A small systems language

Native code, clear data, deliberate boundaries.

Verona is a statically typed language with an S-expression syntax. It compiles to native artifacts and makes C interoperability an explicit part of the language model.

Current release: 0.1.0.

Read the manualView source

A stylized calico cat illustration

Typed native code

Bidirectional type checking validates bodies before native artifacts are emitted.

Useful base library

Protocols provide numeric operations, equality, ordering, and explicit result-directed conversion.

Native boundary

Import C symbols, publish compatible APIs, and call typed function pointers.

Start here

From source to artifact

Reader features, macros, type resolution, native lowering, and linking form a compact compilation pipeline.

sourcetypesnative codenative artifact

Language guideTypes, values, expressions, patterns, generics, and macros. Base libraryProtocols, equality, ordering, and conversion without internal primitives. Native boundaryC interoperability, function pointers, and native compilation. Compile and buildCommand-line options, package setup, and declarative verona.build files.

Reference material

Go deeper when you need to.

Language manualThe concise guide to the language, base library, testing, and compiler. Bootstrap tutorialCheck the package environment and learn the required Bash exports. API referenceCommon Lisp embedding, compiler, backend, and driver APIs.