chelis
GitHub Get started
Menu

Shells

Libraries for Chelis, installed with Reef, its package manager. A call into a shell is type-checked like any other call.

Start here

  • hello-chelis

    A project that walks through the language and its shells, ending in capstone programs.

    Docs

Bundled in the compiler

  • chelis-std

    The standard library, bundled with the compiler.

    Docs

Numerics and data

  • nautilus

    Numerical methods: special functions, distributions, linear algebra, solvers and optimization.

    Docs

  • coral

    Dataframes with tensor columns: group-by, joins, rolling windows, CSV and JSON.

    Docs

Finance and economics

  • shoals

    Quantitative finance: option pricing, yield curves, volatility, Greeks and risk.

    Docs

  • economoist

    Economic models, with properties checked by an SMT solver.

    Docs

Get started with a release for your platform, then add shells to your project with Reef.