I spent 1 year of my life on making a fast as fuck Vim completion client with ass loads of features. (Author of CHADTree)

• coq

  87 4,602 10.0 OCaml

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

Coq is also the (unfortunate) name of the most widespread proof assistant around; while the currently dominant language support plugin is called CoqTail, Coq support plugins all riff on the same name. For instance, there is an interactive proof mode called coq.vim, a collection of syntax and indent scripts also called coq.vim, and the similarly-named Coquille.

• kok.nvim

  60 3,361 9.3 Python

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

There is also a write up on how I made it go fast:

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• coq.vim

  1 15 0.0 VimL

  Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

Coq is also the (unfortunate) name of the most widespread proof assistant around; while the currently dominant language support plugin is called CoqTail, Coq support plugins all riff on the same name. For instance, there is an interactive proof mode called coq.vim, a collection of syntax and indent scripts also called coq.vim, and the similarly-named Coquille.

Suggest a related project