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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell integration for Visual Studio☆22Aug 10, 2014Updated 11 years ago
- A Julia testing framework inspired by javascript's Mocha☆13Jan 25, 2017Updated 9 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- F# GLFW 3 Binding☆11Mar 25, 2018Updated 8 years ago
- VSCode extension for SSH config files.☆13Jul 31, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- FSCL frontend to execute FSCL kernels☆34Jan 25, 2017Updated 9 years ago
- Write C++ like Ruby☆10Sep 16, 2019Updated 6 years ago
- A program to automatically infer differential privacy properties of your julia source code.☆13May 12, 2022Updated 3 years ago
- My config file for Awesome window manager.☆14Oct 19, 2015Updated 10 years ago
- ☆19Dec 5, 2017Updated 8 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Rust binding for tcc☆15Jul 24, 2023Updated 2 years ago
- Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz☆14Feb 14, 2018Updated 8 years ago
- Easy Unicode input for Atom☆40Dec 19, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- SIGPLAN website☆13Mar 16, 2026Updated last week
- Nostr relay running on Cloudflare Workers☆17Mar 7, 2026Updated 2 weeks ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- A tool to analyze your Pocket reading list.☆14Dec 8, 2022Updated 3 years ago
- pseudo-driver to make yamaha suspension pedal function as additional Ctrl☆12Apr 28, 2016Updated 9 years ago
- The mini playground for F# Programming Language.☆15Nov 8, 2022Updated 3 years ago
- Make a PDF file by writing kind of like HTML and CSS.☆16Jan 3, 2023Updated 3 years ago
- Minimal, efficient proof language☆15May 28, 2019Updated 6 years ago
- AsciiMath to LaTeX converter☆27Apr 19, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python script validating Wikipedia tags in OpenStreetMap database by fetching and analysing linked Wikipedia articles.☆13Feb 11, 2026Updated last month
- PyData NYC 2015 tutorial examples☆12Feb 15, 2016Updated 10 years ago
- Enables ReactJS development using pure Python syntax.☆13Jun 6, 2018Updated 7 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆31Dec 8, 2025Updated 3 months ago
- An esoteric programming language where the program is a Git repository☆12Jan 21, 2022Updated 4 years ago
- course webpage☆52Nov 23, 2022Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Library for the FSharp friendly usage of the ML.NET project. For documentation visit:☆38Jul 28, 2020Updated 5 years ago
- A writepolicy plugin for Strfry relays☆17Sep 17, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.☆34Jun 16, 2021Updated 4 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 9 months ago
- Deliberate experimental Rust implementation of Syft☆12May 20, 2021Updated 4 years ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 2 weeks ago
- Technical overview of concepts used in the aardvark platform. Demo examples and quickstart is located in the aardvark.docs repository.☆18Feb 3, 2026Updated last month
- Effective caching in differentially-private databases (SOSP '23)☆13Nov 1, 2023Updated 2 years ago
- A parser library for Pony.☆17Feb 20, 2025Updated last year