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
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated 2 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 2 weeks ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated 11 months ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆24Updated 8 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆40Updated last year
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated last month
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• T-Brick / DateTime
  DateTime package for Lean 4
  ☆16Updated last year
• bergmannjg / leanCurl
  Lean 4 bindings to libcurl
  ☆13Updated last month
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated last year
• uemurax / hott-ja
  HoTT in Japanese
  ☆36Updated 2 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆58Updated 5 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆59Updated last month
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 10 months ago
• jgm / pandoc-types
  types for representing structured documents
  ☆119Updated 3 weeks ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Updated 11 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
  ☆39Updated 8 months ago