YellPika / vscode-latex-inputView external linksLinks
LaTeX-style unicode input for Visual Studio Code
☆11Mar 28, 2024Updated last year
Alternatives and similar repositories for vscode-latex-input
Users that are interested in vscode-latex-input are comparing it to the libraries listed below
Sorting:
- ☆19Dec 5, 2017Updated 8 years ago
- AsciiMath to LaTeX converter☆27Apr 19, 2022Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆31Dec 8, 2025Updated 2 months ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.☆34Jun 16, 2021Updated 4 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 9 months ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Library for the FSharp friendly usage of the ML.NET project. For documentation visit:☆38Jul 28, 2020Updated 5 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Effective caching in differentially-private databases (SOSP '23)☆12Nov 1, 2023Updated 2 years ago
- VSCode extension for SSH config files.☆13Jul 31, 2019Updated 6 years ago
- Haskell integration for Visual Studio☆22Aug 10, 2014Updated 11 years ago
- Import Haskell modules in Python as if they were native modules☆12Mar 30, 2021Updated 4 years ago
- Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz☆14Feb 14, 2018Updated 8 years ago
- Datasette plugin for outputting tables in formats suitable for copy and paste☆16Feb 17, 2024Updated last year
- LTeX+ Language Server support for Zed☆15Dec 1, 2025Updated 2 months ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 7 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- A minimal Tomorrow theme for Visual Studio Code☆11Oct 27, 2023Updated 2 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 5 years ago
- Julia Hands-on at ERAD-NE 2015☆10Apr 17, 2016Updated 9 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A Julia testing framework inspired by javascript's Mocha☆13Jan 25, 2017Updated 9 years ago
- Syntax highlighting in Visual Studio Code☆11Feb 4, 2026Updated last week
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago