Alternatives and similar repositories for vscode-generic-input-method

Users that are interested in vscode-generic-input-method are comparing it to the libraries listed below

• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 7 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆38Updated 11 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆24Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆116Updated 8 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆37Updated 10 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 6 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• jgm / pandoc-types
  types for representing structured documents
  ☆118Updated last month
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• jgm / skylighting
  A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
  ☆210Updated 2 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆82Updated 5 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• jonaprieto / agda-prop
  A Library for Classical Propositional Logic in Agda
  ☆16Updated 5 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 5 years ago
• benediktahrens / CT4P
  ☆35Updated last month
• uemurax / hott-ja
  HoTT in Japanese
  ☆35Updated 2 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆39Updated 2 months ago