syasini / Essential-Vim

Related projects ⓘ

Alternatives and complementary repositories for Essential-Vim

• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆15Updated last month
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆21Updated this week
• PikachuHy / texmacs-converter-tm2md
  a converter to markdown format for TeXmacs.
  ☆11Updated 4 years ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆21Updated 3 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆47Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆90Updated 11 months ago
• latex3 / latex3.github.io
  latex-project.org website
  ☆26Updated last week
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆16Updated 11 months ago
• Alhadis / language-grammars
  Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
  ☆19Updated 2 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last month
• Enter-tainer / jogs
  ☆20Updated 6 months ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆130Updated last week
• sile-typesetter / libtexpdf
  A PDF library extracted from TeX's dvipdfmx
  ☆26Updated 2 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆89Updated this week
• djvelleman / HTPILeanPackage
  ☆24Updated 2 months ago
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆58Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• leanprover / lean-client-js
  ☆34Updated last year
• ChHecker / unify
  Format numbers, units, and ranges in Typst correctly.
  ☆25Updated last week
• ethe / bakalog
  A command-line tool that detects, extracts log templates, and structuring logs to in-process database, leveraging template patterns gener…
  ☆19Updated last year
• OrangeX4 / vscode-typst-sync
  A vscode extension for Typst local packages management and synchronization.
  ☆16Updated 11 months ago
• 8LWXpg / typst-ansi-render
  provides a simple way to render text with ANSI escape sequences in typst
  ☆15Updated 4 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• mathjax / mathjax-node-cli
  CLI tools for mathjax-node
  ☆33Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆43Updated this week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆24Updated 2 years ago
• typst-community / typst.js
  📦 Typst for JavaScript
  ☆19Updated 7 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week