konn / vscode-generic-input-methodLinks
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
☆11Updated last year
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
Sorting:
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆53Updated 2 weeks ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Jupyter kernel for Coq☆95Updated 10 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆17Updated 2 years ago
- Agda grammar for tree-sitter☆36Updated 8 months ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- Emacs mode for Lean☆69Updated 2 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 3 months ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 4 months ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 3 weeks ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 5 years ago
- HoTT in Japanese☆34Updated last year
- HoTT in Lean 3☆80Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A summary of my activities during the past four years☆28Updated 9 months ago
- ☆34Updated 8 months ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- An experimental category theory library for Lean☆51Updated last year
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- ☆56Updated 2 months ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Updated 3 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 2 months ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆122Updated 2 weeks ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 4 years ago
- 🪆 A Staged Type Theory☆35Updated last year