Skip to content

No labels!

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

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
8
C: backend
C: backend
Component: backend
3
C: docs
C: docs
Documentation
2
C: Internals
C: Internals
Component: Compiler internals
16
C: interval check
C: interval check
Component: interval checker
1
C: language
C: language
Component: the Filament language
24
C: tools
C: tools
Component: tools for Filament
8
C: website
C: website
The Filament website
1
C: well-formedness
C: well-formedness
Component: A check that is not the interval check
7
good first issue
good first issue
Good for newcomers
6
low priority
low priority
We're probably not going to work on this anytime soon
7
S: available
S: available
This is available to be worked on
13
S: Blocked
S: Blocked
Blocked on other PRs or Issues
S: discussion needed
S: discussion needed
topic needs discussion
4
S: needs triage
S: needs triage
Status: Needs some more thinking before being actionable
25
tracker
tracker
5