Packages and Projects

anoma/juvix-containers
DescriptionInstall
Immutable container types for Juvix.
- BinaryTree, Map, Queue, Set, Tree, UnbalancedSet, and much more to come.
- Tests using anoma/juvix-test.
Add the following to your juvix.yaml file in the dependencies section:
```
  - git:
      url: https://github.com/anoma/juvix-containers
      ref: v0.7.1
      name: juvix-containers
```
anoma/juvix-quickcheck
DescriptionInstall
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.
Add the following to your juvix.yaml file in the dependencies section:
```
  - git:
      url: https://github.com/anoma/juvix-quickcheck
      ref: v0.8.0
      name: quickcheck
```
anoma/juvix-stdlib
DescriptionInstall
Shipped with Juvix, the standard library provides a set of useful functions and types for writing Juvix programs.
Add the following to your juvix.yaml file in the dependencies section:
```
  - git:
      url: https://github.com/anoma/juvix-stdlib
      ref: 86f9e82c34395f3e0447c58566bc92347603ebd3
      name: stdlib
```
anoma/juvix-test
DescriptionInstall
A unit testing framework for Juvix programs.
Add the following to your juvix.yaml file in the dependencies section:
```
  - git:
      url: https://github.com/anoma/juvix-test
      ref: v0.6.1
      name: test
```

Projects using Juvix¶

anoma/taiga-simulator
DescriptionInstall
The Taiga Simulator is a Juvix function that simulates the Taiga execution model.
Add the following to your juvix.yaml file in the dependencies section:
```
  - git:
      url: https://github.com/anoma/taiga-simulator
      ref: fd0ac317735bb2752e40f1fa0dd06b2de432bfd5
      name: taiga-simulator
```
anoma/juvix-e2e-demo

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.

Please let us know if you are using Juvix in your project. Opening an issue or a pull request to add it to this list.

Other Small Example Programs¶

The following links are clickable versions of their corresponding Juvix program. The sources can be found in the examples/milestone directory in the Juvix repository. The webpages can be generated by running the following command:

juvix html --recursive FileName.juvix