Skip to content

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
dependencies
dependencies
Pull requests that update a dependency file
14
documentation
documentation
Improvements or additions to documentation
2
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
25
good first issue
good first issue
Good for newcomers
2
help wanted
help wanted
Extra attention is needed
2
helpers
helpers
This relates to the statistics generation code
1
i18n/l10n
i18n/l10n
Internationalisation / Languages / Translation
4
important
important
This needs to be treated with priority
invalid
invalid
This doesn't seem to be right
java
java
Pull requests that update Java code
1
javascript
javascript
Pull requests that update Javascript code
11
lexicographic data
lexicographic data
This relates to supporting lexicographic data
1
operations
operations
This relates to actually running the tool
python
python
Pull requests that update Python code
2
question
question
Further information is requested
3
rules
rules
This relates to inference rules
2
view: Browse
view: Browse
This relates to the browsing view
2
view: Entity
view: Entity
This relates to the entity view
6
view: Query
view: Query
This relates to the query view
3
wontfix
wontfix
This will not be worked on