Skip to content

No labels!

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

45 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
accepted
accepted
accepted proposals
14
acknowledged
acknowledged
28
bug
bug
104
chore
chore
Something that just needs to be done.
3
configurator
configurator
4
coq
coq
45
cram
cram
6
cross-compilation
cross-compilation
7
ctypes
ctypes
5
docs
docs
Documentation improvements
54
dune init
dune init
10
duplicate
duplicate
engine
engine
1
enhancement
enhancement
108
feature-request
feature-request
103
good first issue
good first issue
22
help wanted
help wanted
15
jsoo
jsoo
2
macos
macos
3
mdx
mdx
3
melange
melange
11
menhir
menhir
4
merlin
merlin
7
nix
nix
2
notify-benchmark-results
notify-benchmark-results
odoc
odoc
10
package management
package management
73
performance
performance
postponed
postponed
This issue/PR is postponed and will be reviewed later
4
proposal
proposal
RFC's that are awaiting discussion to be accepted or rejected
66