Repository Issues

zbirenbaum/coq_nvim

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

GitHub で見る
Stars
 (0 stars)
Forks
 (0 forks)
Indexed issues
 (0 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
まだ索引されていません
最終 GitHub push
2021年10月21日
ライセンス
ライセンスデータはありません
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Python
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 open indexed issues

RSSAtom

このリポジトリには open の索引済み Issue がありません。