Skip to content

No labels!

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

30 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
blocked
blocked
Status: marked as blocked on something else.
bug
bug
Something isn't working
1
build
build
ci
ci
Continuous integration
4
dependencies
dependencies
Pull requests that update a dependency file
3
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
1
github_actions
github_actions
Pull requests that update GitHub Actions code
2
go
go
Pull requests that update Go code
good first issue
good first issue
Good for newcomers
hacl
hacl
hax
hax
Proof tools
1
help wanted
help wanted
Extra attention is needed
inactive
inactive
Status: Inactive and waiting on the author.
invalid
invalid
This doesn't seem right
iot
iot
1
keep-open
keep-open
16
libjade
libjade
meta
meta
5
pqcp
pqcp
PQ Code Packages
7
proof
proof
Proof related
python
python
Pull requests that update Python code
question
question
Further information is requested
rust
rust
Pull requests that update Rust code
1
stale
stale
2
waiting-on-author
waiting-on-author
Status: This is awaiting some action from the author.
waiting-on-review
waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
wasm
wasm
wontfix
wontfix
This will not be worked on