Skip to content

Labels

Labels

73 labels

  • accessibility

    accessibility
    Barrier affecting people with disabilities

  • area:agents

    area:agents
    Autonomous agent governance & sandbox budgets

  • area:ai

    area:ai
    AI computational primitives & model integrations

  • area:backend

    area:backend
    Code emission (C99, LLVM, machine code)

  • area:backend-platform

    area:backend-platform
    Type-safe RPC gateways & HTTP services

  • area:benchmarks

    area:benchmarks
    Challenge benchmark suite & performance telemetry

  • area:capabilities

    area:capabilities
    Object capabilities, reachability, unforgeable tokens

  • area:compiler

    area:compiler
    AST, HIR, MIR, optimizations, C99/LLVM codegen

  • area:concurrency

    area:concurrency
    Tasks, work-stealing, message channels, sync

  • area:contracts

    area:contracts
    Design-by-Contract (requires, ensures, invariants)

  • area:data

    area:data
    Persistent entities & ACID transactions

  • area:distributed

    area:distributed
    RPC, node discovery, replication sagas, failure

  • area:documentation

    area:documentation
    Architecture specifications, guides, tutorials, API docs

  • area:effects

    area:effects
    Effect rows, pure defaults, effect polymorphism

  • area:errors

    area:errors
    Result/Option algebraic error handling

  • area:frontend

    area:frontend
    Reactive WASM frontend components & VNodes

  • area:full-stack

    area:full-stack
    Unified client-server-database architecture

  • area:infrastructure

    area:infrastructure
    CI/CD pipelines, workflows, build automation

  • area:ir

    area:ir
    Intermediate representations (HIR, MIR)

  • area:language

    area:language
    Syntax, grammar, keywords, language evolution

  • area:lexer

    area:lexer
    Lexical analysis and tokenization

  • area:lsp

    area:lsp
    Language Server Protocol implementation

  • area:memory

    area:memory
    Region XOR memory model, borrowing, drop elaboration

  • area:observability

    area:observability
    Distributed telemetry, tracing & OpenTelemetry spans

  • area:ownership

    area:ownership
    Linear affine types & borrow semantics

  • area:package-manager

    area:package-manager
    Package manifest (nova.toml), lockfile, dependency resolution

  • area:parser

    area:parser
    Grammar parsing and AST construction

  • area:resources

    area:resources
    Resource semirings, token/cost budgets, metering

  • area:runtime

    area:runtime
    Task scheduler, memory frames, execution engine

  • area:security

    area:security
    Security audits, threat modeling, vulnerability assessments