Search Results for "version"

This is a feature-rich nix language server interoperating with C++ nix.

Client for Language Server Protocol (v3.14). lsp-mode aims to provide IDE-like experience by providing optional integration with the most popular Emacs packages like company, flycheck and projectile. Works out of the box and automatically upgrades if additional packages are present. Choose between full-blown IDE with flashy UI or minimal distraction-free. Supports all features in Language Server Protocol v3.14. Semantic tokens as defined by LSP 3.16 (compatible language servers include...

LunarVim is an opinionated, extensible, and fast IDE layer for Neovim >= 0.5.0. LunarVim takes advantage of the latest Neovim features such as Treesitter and Language Server Protocol support. LunarVim ships with a sane default config for you to build on top of. Features include autocompletion, integrated terminal, file explorer, fuzzy finder, LSP, linting, formatting and debugging. Just because LunarVim has an opinion doesn't mean you need to share it. Every built-in plugin can be toggled on...

Woke is a Python-based development and testing framework for Solidity. A testing framework for Solidity smart contracts with Python-native equivalents of Solidity types and blazing-fast execution. A property-based fuzzer for Solidity smart contracts that allows testers to write their fuzz tests in Python. See examples and documentation for more information. Fuzzer builds on top of the testing framework and allows efficient fuzz testing of Solidity smart contracts. Woke implements an LSP...

HDL Checker is a language server that wraps VHDL/Verilg/SystemVerilog tools that aims to reduce the boilerplate code needed to set things up. It supports Language Server Protocol or a custom HTTP interface; can infer the library VHDL files likely to belong to, besides working out mixed language dependencies, compilation order, interpreting some compiler messages and providing some (limited) static checks. Notice that currently, the unused reports has caveats, namely declarations with the...

This is a new generation of SQL (Structured query language) Server which is targeted to serve on a Virtual Appliance. Hybrid SQL Server is targeted to run on VirtualBox from SunMicrosystems.