tomtomjhj Goto Github PK
Name: Jaehwang Jung
Type: User
Bio: .__________.
Name: Jaehwang Jung
Type: User
Bio: .__________.
Neovim plugin for a code outline window
A cross-platform, GPU-accelerated terminal emulator
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
ansi escape sequences concealed, but highlighted as specified (conceal)
:rocket: Run Async Shell Commands in Vim 8.0 / NeoVim and Output to the Quickfix Window !!
Vim plugin, insert or delete brackets, parens, quotes in pair
nvim-cmp source for buffer words
Intellisense engine for Vim8 & Neovim, full language server protocol support as VSCode
colorschemes for Vim
Weapon to fight against conflicts in Vim.
Language Server Protocol and VS Code Extension for Coq
Neovim client for coq-lsp
Universal Ctags optlib parser for Coq
Interactive Coq Proofs in Vim
Tools for concurrent programming in Rust
Ascii drawing plugin: lines, ellipses, arrows, fills, and more!
Mirror of GNU Emacs
The extensible vi layer for Emacs.
Speed up Vim by updating folds only when called-for.
🌿 General purpose asynchronous tree viewer written in Pure Vim script
Formal Reasoning About Programs
Vim plugin that lets you fuzzy search for folds in a file
Improved fzf.vim written in lua
A git commit browser in Vim
Custom Haskell Vimscripts
This plugin adds horizontal highlights for text filetypes, like markdown, orgmode, and neorg.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.