684 Open source projects that are alternatives of or similar to vim-smt2

💯The most accurate syntax highlighting plugin for JavaScript and Flow.js

Symbolic execution tool

Syntax highlighting for Dhall

Vim filetype and tools support for Crystal language.

Jupyter notebooks for tutorial on the Z3 SMT solver

Syntax highlighting for systemd service files in Vim.

Clojure syntax highlighting for Vim and Neovim.

Haskell bindings to Microsoft's Z3 API (unofficial).

A different approach to code highlighting.

A Vim plugin for the Stan probabilistic programming language.

An interactive development environment for SMT-LIB files and Z3

Syntax highlighting and completion for GDScript 3

A dark Vim colorscheme

Syntax highlighting for generic log files in VIM

PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text

Delphi Property Editor for TStrings supporting formatted languages with syntax highlight

VSCODE extension for language support of LAMMPS scripts

Android Library to make it easy to create an Code editor or IDE that support any languages and themes, with auto complete, auto indenting, snippets and more features

[DEPRECATED] .tmux.conf syntax highlighting

Vim plugin: All-in-one highlighter, highlight custom pattern like indentation, inactive window, word under the cursor

Add IDE-like text entry to HTML contenteditable tags

Visual Studio extension that helps with semantic highlighting in C# and VB.Net

Simple snippet support for your Vim and Neovim

Automated Schedule Generation for Time-Sensitive Networks (TSN).

(neo)vim plugin that uses fzf for previewing hoogle search results

Aris - A fast and powerful tool to write HTML in JS easily. Includes syntax highlighting, templates, SVG, CSS autofixing, debugger support and more...

Light (& dark) color scheme inspired by iA Writer

⚡ Ultrafast multi-pane file manager for Neovim with fuzzy matching

A text-object for LHS/RHS of assignment.

Syntax highlighting for SQL heredocs.

Source code to formatted text converter

Grep with human-friendly search results

Synthesis of Heap-Manipulating Programs from Separation Logic

LilyPond syntax highlighting in Sublime Text 2 and 3.

an api to customize tmux from vim

A EditText with syntax highlight support

Prisma schema file support for IntelliJ IDEs (WebStorm, PHPStorm, Pycharm, RubyMine, ...)

Toggling comments became easier!

A Vim configuration for SSH client to edit on a remote Linux host.

A text editor written in Nim

fzf ❤️ preview

Track your programming activity in real-time in Vim

A quasi real-time vim markdown preview plugin | 第一款基于Java的Vim Markdown预览插件

make your mailbox as a note place

CLP(SMT) on top of miniKanren

Syntax highlighting for IBM i languages such as RPG, CL, DDS, MI, and RPGLE fixed/free.

Cocoa syntax highlighting text view

Manage branches and tags with fzf

A collection of dotfile scripts, plugins, and clever hacks so that you can become the master of your own OS! 🚀

Simple todo plugin for vim

Cross-compatible syntax highlighting for Less

PICO-8 plugin for the Sublime Text 3 editor.

Vim plugin which asks for the right file to open

Vim Meets Poetry and Pipenv Virtual Environments

An IDE for uDevkit or C/C++ projects with Git written in Qt5

Notepad++ Syntax Highlighting for 6502 Assembly (and NESASM)

Convert source code to a LaTeX document / PDF with syntax highlighting and line numbers.

Vim/Neovim plugin for GitHub

A Go (Golang) code syntax highlighting library.

GNU Recutils syntax highlighting support for Vim