Search 8 packages
| Packages1–8 of 8 | Version | Findings | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| haloumi-core cargo | 0.6.0 | none | none | Core types and traits of the Halo2 frontend for LLZK | 1.7K | 3h ago |
| haloumi-ir cargo | 0.6.0 | none | none | Intermediate representation of the haloumi framework. | 1.4K | 3h ago |
| haloumi-lowering cargo | 0.6.0 | none | none | Core traits for enabling types to integrate with the codegen module. | 1.4K | 3h ago |
| haloumi-synthesis cargo | 0.6.0 | none | none | Synthesis step of the haloumi lowering pipeline. | 730 | 3h ago |
| haloumi-ir-gen cargo | 0.6.0 | none | none | IR generation step of the haloumi lowering pipeline. | 698 | 3h ago |
| haloumi-backend cargo | 0.6.0 | none | none | Generic backend API of the haloumi framework. | 509 | 3h ago |
| haloumi-llzk cargo | – 0.6.0 did not build | – | Haloumi backend to LLZK. | 272 | 3h ago | |
| haloumi-picus cargo | 0.6.0 | none | none | Haloumi backend to the Picus Constraint Language. | 272 | 3h ago |