RFCs for standardcompletions.org
25
stars
1
commits
Jun 11, 2025
updated
1 commits
pnpm/rfcs
21
unimpor/CFRE
rocq-prover/rfcs
Rocq RFCs: documents to discuss changes to the Rocq Prover
64
coq/ceps
rust-lang/goals
Rust Project Goals tracker
173
tc39/process-document
Document describing the process for making changes to ECMA-262
30
kengonakajima/snippets
goko897/code
0
