{"id":29671286,"url":"https://github.com/anoma/juvix-docs","last_synced_at":"2025-07-22T20:07:27.321Z","repository":{"id":153714519,"uuid":"628929903","full_name":"anoma/juvix-docs","owner":"anoma","description":"Juvix Official Documentation","archived":false,"fork":false,"pushed_at":"2025-06-10T16:24:51.000Z","size":61233,"stargazers_count":8,"open_issues_count":4,"forks_count":5,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-06-10T18:34:49.836Z","etag":null,"topics":["documentation","juvix"],"latest_commit_sha":null,"homepage":"https://docs.juvix.org","language":"Makefile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/anoma.png","metadata":{"files":{"readme":"docs/README.juvix.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2023-04-17T09:18:47.000Z","updated_at":"2025-06-10T16:03:06.000Z","dependencies_parsed_at":null,"dependency_job_id":"968719be-50b7-4929-a0b5-bd3ea85d5fe6","html_url":"https://github.com/anoma/juvix-docs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/anoma/juvix-docs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anoma%2Fjuvix-docs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anoma%2Fjuvix-docs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anoma%2Fjuvix-docs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anoma%2Fjuvix-docs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/anoma","download_url":"https://codeload.github.com/anoma/juvix-docs/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/anoma%2Fjuvix-docs/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266563915,"owners_count":23948689,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-22T02:00:09.085Z","response_time":66,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["documentation","juvix"],"created_at":"2025-07-22T20:07:26.712Z","updated_at":"2025-07-22T20:07:27.310Z","avatar_url":"https://github.com/anoma.png","language":"Makefile","funding_links":[],"categories":[],"sub_categories":[],"readme":"---\nnobuttons: true\ntitle: Home\ndescription: Juvix is a high-level programming language for writing privacy-preserving decentralised applications.\nhide:\n  - navigation\n  - toc\nsocial:\n  cards: false\n---\n\n```juvix hide\nmodule README;\n  import Stdlib.Prelude open;\n```\n\n\n# **Juvix** a language for *intent-centric* and *declarative decentralized* applications\n\n\u003cdiv class=\"grid cards\" markdown\u003e\n\n\u003cdiv style=\"text-align:center\" markdown\u003e\n\n\u003cdiv style=\"text-align:center\"\u003e\n  \u003cimg src=\"assets/images/tara-smiling.svg\" width=\"220\" /\u003e\n\u003c/div\u003e\n\n[Install Juvix on your machine](./howto/installing.md#shell-script){ .md-button .md-button--primary}\n\n[:fontawesome-regular-circle-dot:{ .heart }  Try Juvix now on Codespaces](https://codespaces.new/anoma/applications-workshop?quickstart=1){ .md-button  }\n\n\u003c/div\u003e\n\n\u003cdiv markdown\u003e\n\nJuvix is an open-source functional language with static typing and\nstrict semantics. It is the programming language for the\n[Anoma][anoma]'s blockchain. The primary purpose of this language is\nto encode [Anoma's intents][anoma], enabling private and transparent\nexecution through the [Abstract Resource\nMachine](https://art.anoma.net/list.html#paper-10498993) on the Anoma\nblockchain.\n\nJuvix, initially designed for Anoma, provides features typical of any\nhigh-level programming language with many more on the horizon. It can\ncompile programs into native executable, WASM, Cairo bytecode and\narithmetic circuits facilitating zero-knowledge proofs.\n\nStay tuned for Juvix updates and follow us on [:material-twitter: Twitter][twitter]!\n\n\u003c/div\u003e\n\n\u003c/div\u003e\n\n\u003cdiv style=\"text-align:center\" markdown\u003e\n\n## ... a brief overview of what Juvix is about\n\n\u003c/div\u003e\n\n\n\u003cdiv class=\"grid cards\" markdown\u003e\n\n-   :fontawesome-solid-computer:{ .lg .middle } __How-to guides__\n\n    ---\n\n    Learn how to [install Juvix](./howto/installing.md) on macOS or Linux, as well as compile and\n   document your Juvix projects.\n\n    [:octicons-arrow-right-24: Quick start](./howto/quick-start.md)\n\n    [:octicons-arrow-right-24: How-to guides](./howto/README.md)\n\n-   :material-clock-fast:{ .lg .middle } __Tutorials__\n\n    ---\n\n    Master the essentials of Juvix through a series of\n    tailored examples, tutorials and technical explanations.\n\n    [:octicons-arrow-right-24: Essential Juvix](./tutorials/essential.html)\n\n    [:octicons-arrow-right-24: Functional programming with Juvix](./tutorials/learn.html)\n\n    [:octicons-arrow-right-24: Tutorials](./tutorials/README.md)\n\n-  :fontawesome-solid-video:{ .lg .middle } __Talks and Workshops__\n\n    ---\n\n    A collection of talks and workshop videos showcasing Juvix. Gain valuable\n    insights and inspiration from our presentations at various conferences.\n\n    [:octicons-arrow-right-24: Juvix videos](./talks.md)\n\n-   :fontawesome-solid-lines-leaning:{ .lg .middle } __Reference__\n\n    ---\n\n    Explore the language reference, milestone examples, and tooling\n    documentation!\n\n    [:octicons-arrow-right-24: Reference](./reference/README.md)\n\n    [:octicons-arrow-right-24: Standard library](https://anoma.github.io/juvix-stdlib/index.html)\n\n    [:octicons-arrow-right-24: Packages and projects](./juvix-packages.md)\n\n-   :material-account-group:{ .lg .middle } __Blog__\n\n    ---\n\n    Check out our blog to discover new features in the upcoming release, along\n    with helpful examples and more.\n\n    [:octicons-arrow-right-24: Blog](./blog/index.md)\n\n-   :material-scale-balance:{ .lg .middle } __Open Source, GPL3.0__\n\n    ---\n\n    Juvix is licensed under GPL3 and available on [GitHub].\n\n    [:octicons-arrow-right-24: License](https://github.com/anoma/juvix/blob/main/LICENSE.md)\n\n\u003c/div\u003e\n\n\n[anoma]: https://anoma.net\n[changelog]: https://docs.juvix.org/changelog.html\n[geb]: https://github.com/anoma/geb\n[GitHub]: https://github.com/anoma/juvix\n[homebrew]: https://brew.sh\n[juvix-book]: https://docs.juvix.org\n[juvix-formula]: https://github.com/anoma/homebrew-juvix\n[juvix-mode]: https://github.com/anoma/juvix-mode\n[latest-release]: https://github.com/anoma/juvix/releases/latest\n[nightly-builds]: https://github.com/anoma/juvix-nightly-builds\n[repo-codespace]: https://github.com/codespaces/new?hide_repo_select=true\u0026ref=main\u0026repo=102404734\u0026machine=standardLinux32gb\u0026location=WestEurope\n[repo]: https://github.com/anoma/juvix\n[stdlib-codespace]: https://github.com/codespaces/new?hide_repo_select=true\u0026ref=main\u0026repo=102404734\u0026machine=standardLinux32gb\u0026location=WestEurope\n[stdlib]: https://github.com/anoma/juvix-stdlib\n[RM]: https://github.com/anoma/RM\n[twitter]: https://twitter.com/juvixlang\n[anomaTwitter]: https://twitter.com/anoma\n[vampir]: https://github.com/anoma/vamp-ir\n[vscode-plugin]: https://github.com/anoma/vscode-juvix\n[website]: https://juvix.org\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fanoma%2Fjuvix-docs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fanoma%2Fjuvix-docs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fanoma%2Fjuvix-docs/lists"}