Labels Milestones

9 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues

• bug
  11 open issues/pull requests
• design
  9 open issues/pull requests
• documentation
  1 open issues/pull requests
• errors
  3 open issues/pull requests
• feature
  13 open issues/pull requests
• infrastructure
  3 open issues/pull requests
• language
  1 open issues/pull requests
• optimization
  8 open issues/pull requests
• prelude
  0 open issues/pull requests