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

• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆49Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆29Updated 2 weeks ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 2 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆76Updated 4 years ago
• coq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 2 months ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• coq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆42Updated last year
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆9Updated 3 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated last month
• coq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆37Updated last month
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 10 months ago
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆18Updated 7 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last month
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• tchajed / spacemacs-coq
  A Coq layer for Spacemacs
  ☆9Updated 7 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated last month
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• dschepler / coq-sequent-calculus
  Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
  ☆44Updated 8 years ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• jonaprieto / agda-prop
  A Library for Classical Propositional Logic in Agda
  ☆16Updated 5 years ago
• coq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆13Updated last month
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago