Skip to content
@handl-lang

Handl Formal Language

Products and services built on a categorical language — a new paradigm. Arrows, not functions.
README.md

handl-lang

A new paradigm. Products and services built on a categorical language — arrows, not functions.

Computation described as arrows, not applied as functions. Composition, not application; structure you can inspect, not closures you can't. The same foundation drives the language platform and the research stack.

Products

  • Handl Language — the platform: a closed arrow-calculus kernel, a data-driven language engine, and a plugin-composed host.
  • graphopt — our first practical product applying Handl Language: a categorical optimizer that mints its own rewrite laws, certifies them, and learns to play the game they create.

Docs · Kernel paper

Popular repositories Loading

  1. graphopt graphopt Public

    A machine that writes its own compiler rules, certifies them, and learns to play the game they create.

    Python 2

  2. kernel kernel Public

    The arrow-calculus kernel — Term, Value, and the Language data schema everything composes on.

    Rust 1

  3. research-dts research-dts Public archive

    Research on declarative handler-topology synthesis for effect-handler languages — Lean formalization, paper, and reference tooling.

    Python

  4. host host Public

    The reference platform workspace — composable plugin crates assembling the language toolchain.

    Rust

  5. host-cli host-cli Public

    hnl — the Handl CLI distribution; its target set is its dep list

    Rust

  6. kit-data-prelude kit-data-prelude Public

    handl lang modules.

    Rust

Repositories

Showing 10 of 38 repositories
View all 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…