Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

No labels!

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

60 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
apple-silicon
apple-silicon
Issues related to prototype Apple Silicon support
attributes
attributes
automerge
automerge
bison
bison
bug
bug
Something isn't working
builtins
builtins
checks
checks
cli
cli
cse
cse
dedukti
dedukti
dependencies
dependencies
Pull requests that update a dependency file
design
design
devops
devops
discussion
discussion
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
1
error-message
error-message
feature
feature
frontend
frontend
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
incremental-compilation
incremental-compilation
interface
interface
invalid
invalid
This doesn't seem right
java
java
Pull requests that update Java code
java-backend
java-backend
javascript
javascript
Pull requests that update Javascript code
kast
kast
kbuild
kbuild