Issue del repository

williamboman/coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Vedi su GitHub
Star
 (0 stelle)
Fork
 (0 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
20 ago 2026
Ultimo push GitHub
28 apr 2022
Licenza
GNU General Public License v3.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Python
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.