Skip to content

No labels!

There aren’t any labels for this repository quite yet.

102 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
october-testnet
october-testnet
Issues required to support the Anoma October 2024 testnet
old
old
PRs from an older version of Juvix, no longer related to this repository.
operations
operations
optimization
optimization
13
package-manager
package-manager
5
parsing
parsing
1
pattern-matching
pattern-matching
2
pending-review
pending-review
60
performance
performance
1
pipeline:exec
pipeline:exec
pipeline:geb
pipeline:geb
pipeline:vampir
pipeline:vampir
pipeline:vampir-vm
pipeline:vampir-vm
positivity
positivity
Related to the positivity checker
prettyprinting
prettyprinting
2
priority:high
priority:high
priority:low
priority:low
2
priority:medium
priority:medium
2
question
question
reachability
reachability
refactor
refactor
10
regression
regression
release
release
repl
repl
5
repo-maintenance
repo-maintenance
research
research
risc0-backend
risc0-backend
risc5
risc5
runtime
runtime
5
rust-backend
rust-backend