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

• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• dschepler / coq-sequent-calculus
  Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
  ☆45Updated 9 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 6 months ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• pi8027 / stablesort
  Stable sort algorithms and their stability proofs in Coq
  ☆22Updated last month
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• HarrisonGrodin / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆61Updated this week
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• frelindb / agsyHOL
  ☆22Updated 9 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 3 months ago
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆22Updated 3 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 2 months ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 6 months ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• tchajed / spacemacs-coq
  A Coq layer for Spacemacs
  ☆9Updated 7 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated last year
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated 2 weeks ago