Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

No labels!

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

44 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
0.20
0.20
0.21
0.21
0.22
0.22
1.0-build
1.0-build
3
1.0-compiler
1.0-compiler
3
1.0-feature
1.0-feature
10
1.0-QA
1.0-QA
4
1.0-typing
1.0-typing
6
1.0
1.0
17
Backend: WASM
Backend: WASM
WebAssembly Backend
3
Category: API
Category: API
1
Category: Backend
Category: Backend
2
Category: Compiler
Category: Compiler
Category: Coq
Category: Coq
2
Category: QCert
Category: QCert
2
dependencies
dependencies
Pull requests that update a dependency file
2
Difficulty: Challenging
Difficulty: Challenging
4
Difficulty: Medium
Difficulty: Medium
3
Difficulty: Starter
Difficulty: Starter
3
Good First Issue :octocat:
Good First Issue :octocat:
Good for newcomers
3
Good First Issue (Taken)
Good First Issue (Taken)
Hacktoberfest
Hacktoberfest
by DigitalOcean and DEV
Help Wanted 🆘
Help Wanted 🆘
Extra attention is needed
4
Need More Info ℹ️
Need More Info ℹ️
Extra information is required
1
Range: Semantics
Range: Semantics
5
Range: Syntax
Range: Syntax
2
Range: Tooling
Range: Tooling
3
Range: Typing
Range: Typing
3
Range: Usability
Range: Usability
4
Resolution: Duplicate 👯
Resolution: Duplicate 👯
This issue or pull request already exists