Labels

• Accuracy

  Accuracy

• Better programming practice

  Better programming practice

• Counters

  Counters

• critical bug

  critical bug

• dependencies

  dependencies

  Pull requests that update a dependency file

• Documentation & Manual

  Documentation & Manual

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

• Graphical User Interface

  Graphical User Interface

• improvement

  improvement

• javascript

  javascript

  Pull requests that update javascript code

• JsSim

  JsSim

• KaDe

  KaDe

• KaSa

  KaSa

• KaSim

  KaSim

• minor bug

  minor bug

• performance

  performance

• Soundness

  Soundness

• stories

  stories

• WebSim

  WebSim

• Wishlist

  Wishlist