Skip to content
@stella-org

The Stella Program Language

Organization for developing Stella compiler and toolchain

Popular repositories Loading

  1. stella-lang stella-lang Public

    A effect-oriented functional programming language inspired by PureScript

    PureScript 6

  2. lazuli lazuli Public

    An official package manager for Stella programming language

    PureScript 1

  3. stella-spec-verified stella-spec-verified Public

    The formal verification of the Core semantics and metatheory of Stella

    F* 1

  4. www.stella-lang.org www.stella-lang.org Public

    The Stella website

    HTML

  5. documentation documentation Public

    Documentation for the Stella programming language

Repositories

Showing 5 of 5 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…