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
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 6 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated this week
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆39Updated 3 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated 2 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆28Updated 5 months ago
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆39Updated 4 months ago
• jgm / unicode-collation
  Haskell implementation of the Unicode Collation Algorithm
  ☆17Updated 8 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆82Updated 5 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆34Updated this week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• benediktahrens / CT4P
  ☆35Updated 3 weeks ago
• ctford / Idris-Elba-Dev
  A Whitespace-Based Dependently Typed Functional Programming Language
  ☆16Updated 8 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆36Updated 8 months ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆102Updated last week
• bergmannjg / leanCurl
  Lean 4 bindings to libcurl
  ☆11Updated 3 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• dorchard / co519-logic
  Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.
  ☆18Updated 5 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago