Poppy Team · research & tools

Ideas that stay readable.

We build programming languages and tools for people who read code as carefully as they write it.

Learn with Poppy

Free courses for people with ADHD, dyslexia, other ways of thinking, or who are just starting. Portuguese for now; English is on the way.

Two languages in active development, each with its own documentation.

S3READING-FIRSTND-FRIENDLY

A reading-first language with explicit types and native compilation.

module demo.main

import ori.test as test

@test
math_is_stable()
    test.assert(1 + 1 == 2, "math should work")
end

View the project Documentation

S2CONTRACTS-FIRST

A dynamic, strongly typed language with optional contracts.

struct Temperature {
    var celsius = 0.0
}

impl Temperature {
    invariant {
        self.celsius >= -273.15
    }
}

View the project Documentation

The tools we use to build the languages.

Oride
Terminal editor
A lightweight terminal code editor and IDE written in Rust.
Prumo
Protocol and CLI
A Git-native protocol for collaboration between people and AI agents.

Guides and references for each project, copied from its canonical repository.

September 28, 2026
An archive with provenance
Why every imported page should remain connected to its canonical source.