Skip to content

Packages and Projects

Juvix Packages


Immutable container types for Juvix.

  • BinaryTree, Map, Queue, Set, Tree, UnbalancedSet, and much more to come.
  • Tests using anoma/juvix-quickcheck.


This package provides property-based testing for the Juvix programming language inspired by the popular Haskell library, QuickCheck.

  • Automated testing: Generate random test cases to validate properties of Juvix code.


Shipped with Juvix, the standard library provides a set of useful functions and types for writing Juvix programs.

Projects using Juvix


A simulator for Taiga execution model written in Juvix.


A project for demostrating the process of generating arithmetic circuits from high-level specifications. This CodeSpace includes all the necessary compilers for circuit generation, such as Juvix, GEB, and VampIR. Furthermore, it features the Juvix VSCode extension to simplify writing Juvix programs and allows users to interact with and evaluate the resulting GEB/VampIR programs.


If you are using Juvix in your project, please let us know by opening an issue or a pull request to add it to this list.