Innf107/polaris

A functional programming language with shell scripting capabilities

OCaml

134

469 commits

updated Sep 17, 2026

See the code

README

Polaris

Polaris is a statically typed, fully inferred programming language with first class access to shell scripting capabilities.

Installation

Install opam and run opam init

Then run

git clone https://github.com/Innf107/polaris
cd polaris
opam pin add eio_main --dev-repo
opam install .

And you're done!

To check your installation, run

polaris --help

If you have any trouble building polaris, feel free to open an issue.

Documentation

Polaris is still very unstable at the moment. There will be proper documentation once the type system is stable enough. If you have any concrete questions, you can open an issue, but please don't expect to be able to use Polaris for now.

Contributors

Innf107

465 commits

Sebull-git

3 commits

iwLain

1 commits

Innf107/polaris

A functional programming language with shell scripting capabilities

OCaml

134

469 commits

updated Sep 17, 2026

See the code

README

Polaris

Polaris is a statically typed, fully inferred programming language with first class access to shell scripting capabilities.

Installation

Install opam and run opam init

Then run

git clone https://github.com/Innf107/polaris
cd polaris
opam pin add eio_main --dev-repo
opam install .

And you're done!

To check your installation, run

polaris --help

If you have any trouble building polaris, feel free to open an issue.

Documentation

Polaris is still very unstable at the moment. There will be proper documentation once the type system is stable enough. If you have any concrete questions, you can open an issue, but please don't expect to be able to use Polaris for now.

Contributors

Innf107

465 commits

Sebull-git

3 commits

iwLain

1 commits

Languages

OCaml

93.5%

PLSQL

6.3%