Company-math Alternatives

Similar projects and alternatives to company-math

• corfu

  44 1,023 8.9 Emacs Lisp company-math VS corfu

  :desert_island: corfu.el - COmpletion in Region FUnction

• Agda

  27 2,378 9.8 Haskell company-math VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• cape

  17 543 8.8 Emacs Lisp company-math VS cape

  🦸cape.el - Completion At Point Extensions (by minad)

• prettify-utils.el

  3 31 0.0 Emacs Lisp company-math VS prettify-utils.el

  Helper functions for emacs' prettify-symbols-mode

• julia-emacs

  3 279 5.6 Emacs Lisp company-math VS julia-emacs

  Julia support in Emacs.

  

• math-symbol-lists

  2 33 10.0 Emacs Lisp company-math VS math-symbol-lists

  Lists of Unicode mathematical symbols and latex commands

• lean-mode

  2 68 1.7 Emacs Lisp company-math VS lean-mode

  Emacs mode for Lean

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• lean4-mode

  2 54 6.1 Emacs Lisp company-math VS lean4-mode

  Emacs major mode for Lean 4