Juvix

<a href="https://github.com/anoma/juvix"><img align="right" width="300" alt="Tara the Juvix mascot" src="https://github.com/anoma/juvix/raw/main/assets/images/tara-smiling.svg" /></a>

<table> <tr> <th> CI Status </th> </tr> <tr> <td>

<a href="https://github.com/anoma/juvix/actions/workflows/ci.yml"><img src="https://github.com/anoma/juvix/actions/workflows/ci.yml/badge.svg" alt="The Juvix compiler CI" /></a>

</td> </tr> <tr> <td>

<a href="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml"><img src="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml/badge.svg" alt="Nightly build, release and benchmark" /></a>

</td> </tr> <tr> <th> Codebase </th> </tr> <tr> <td><a href="https://github.com/anoma/juvix/tags"><img src="https://img.shields.io/github/v/release/anoma/juvix?include_prereleases"/></a> </td> </tr> <tr> <td> <a href="https://github.com/anoma/juvix/blob/main/LICENSE.md"><img src="https://img.shields.io/badge/license-GPL--3.0--only-blue.svg"/></a> </td> </tr> <tr> <td> <a href="https://github.com/codespaces/new?hide_repo_select=true&ref=main&repo=102404734&machine=standardLinux32gb&location=WestEurope"><img height="20pt" alt="Open the Juvix Standard Lib in Github Codespace" src="https://github.com/codespaces/badge.svg"/> </a> </td> </tr> </table>

This repository is specifically dedicated to the compiler of the Juvix programming language.

For any Juvix-related inquiries, we strongly advise visiting the following resources.

• Official documentation

Our documentation offers an in-depth understanding of the Juvix programming language. It encompasses a language reference, examples, blog posts, and numerous other resources to facilitate effective use of Juvix.