plugins configurations news

Julian / lean.nvim

lean.nvim

Neovim support for the Lean theorem prover

574 29 0 4 days ago

programming-languages-support awesome-neovim

Media

Developers using lean.nvim

Julian/dotfiles

54 init.lua 26 3253

26 init.lua 103 15348

jiangyinzuo/vimrc

15 .vimrc 98 10972

serhez/nvim-config

8 init.lua 120 10903

Other programming-languages-support plugins

chomosuke/typst-preview.nvim

Low latency typst preview for Neovim

1001 0 programming-languages-support

dmmulroy/ts-error-translator.nvim

A port of Matt Pocock's ts-error-translator for VSCode for turning messy and confusing TypeScript errors into plain English.

dmmulroy/ts-error-translator.nvim thumbnail

436 0 programming-languages-support

dmmulroy/tsc.nvim

A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)

dmmulroy/tsc.nvim thumbnail

549 0 programming-languages-support

akinsho/flutter-tools.nvim

Tools to help create flutter apps in neovim using the native lsp

akinsho/flutter-tools.nvim thumbnail

1407 0 programming-languages-support