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

• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆49Updated 2 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 5 months ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 3 weeks ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• leanprover / lean-client-js
  ☆38Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆79Updated 4 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆31Updated 3 months ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• dschepler / coq-sequent-calculus
  Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
  ☆44Updated 8 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 3 weeks ago
• jonaprieto / agda-prop
  A Library for Classical Propositional Logic in Agda
  ☆16Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆23Updated 5 months ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆37Updated 2 months ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• suharahiromichi / coq
  Coq Code
  ☆18Updated this week
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year