LaTeX-style unicode input for Visual Studio Code
☆11Mar 28, 2024Updated 2 years ago
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☆10Mar 25, 2018Updated 8 years ago
- VSCode extension for SSH config files.☆13Jul 31, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SIGPLAN website☆13Apr 6, 2026Updated last week
- Nostr relay running on Cloudflare Workers☆18Mar 7, 2026Updated last month
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Python script validating Wikipedia tags in OpenStreetMap database by fetching and analysing linked Wikipedia articles.☆13Feb 11, 2026Updated 2 months ago
- 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 4 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 10 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 last month
- Technical overview of concepts used in the aardvark platform. Demo examples and quickstart is located in the aardvark.docs repository.☆18Feb 3, 2026Updated 2 months ago
- Effective caching in differentially-private databases (SOSP '23)☆13Nov 1, 2023Updated 2 years ago
- A parser library for Pony.☆17Feb 20, 2025Updated last year