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 2 years ago
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 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Jupyter kernel for Coq☆95Updated last year
- OCaml bindings for RE2☆48Updated 3 weeks ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- ☆17Updated 2 years ago
- types for representing structured documents☆120Updated last month
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Agda grammar for tree-sitter☆42Updated 5 months ago
- Development of the CafeOBJ interpreter☆40Updated last year
- Emacs mode for Lean☆68Updated 2 years ago
- An automatic theorem prover for first order logic with equality☆32Updated 5 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 4 months ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆24Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- A Python backed for Idris 2☆29Updated 2 months ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 10 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 11 years ago
- DateTime package for Lean 4☆16Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆39Updated 8 months ago
- HoTT in Japanese☆36Updated 2 years ago
- Community contributions to the Grammatical Framework☆63Updated 2 weeks ago
- The formal proof of the Odd Order Theorem☆37Updated 3 months ago
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated 2 years ago
- The Boomerang Bidirectional Programming Language☆78Updated 2 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 2 months ago
- ☆38Updated 2 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year