Search Results for "linux for windows"
Sort By:
Showing 41 open source projects for "linux for windows"
View related business solutions-
Auth0 for AI Agents now in GAConnect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
-
Dun and Bradstreet Connect simplifies the complex burden of data managementThe amount, speed, and types of data created in today’s world can be overwhelming. With D&B Connect, you can instantly benchmark, enrich, and monitor your data against the Dun & Bradstreet Data Cloud to help ensure your systems of record have trusted data to fuel growth.
-
1
Objeck
Objeck is a modern object-oriented programming language
General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for... -
2
clangd
clangd language server
clangd understands your C++ code and adds smart features to your editor: code completion, compile errors, definition, and more. clangd is a language server that can work with many editors via a plugin. Here’s Visual Studio Code with the clangd plugin, demonstrating code completion. -
3
GraphQL
The GraphQL LSP reference ecosystem for building browser & IDE tools
GraphiQL is the reference implementation of this monorepo, GraphQL IDE, an official project under the GraphQL Foundation. The code uses the permissive MIT license. Whether you want a simple GraphiQL IDE instance for your server, or a more advanced web or desktop GraphQL IDE experience for your framework or plugin, or you want to build an IDE extension or plugin, you've come to the right place! GraphiQL provides monaco editor with a powerful, schema-driven graphql language mode. It also... -
4
ccls
C/C++/ObjC language server supporting cross references & hierarchies
C/C++/ObjC language server supporting cross-references, hierarchies, completion, and semantic highlighting. It has a global view of the code base and supports a lot of cross-reference features, see wiki/FAQ. It starts indexing the whole project (including subprojects if exist) parallelly when you open the first file, while the main thread can serve requests before the indexing is complete. Saving files will incrementally update the index. Hierarchies, call (caller/callee) hierarchy,... -
All-in-one security tool helps you prevent ransomware and breaches.Blumira’s detection and response platform enables faster resolution of threats to help you stop ransomware attacks and prevent data breaches. We surface real threats, providing meaningful findings so you know what to prioritize. With our 3-step rapid response, you can automatically block known threats, use our playbooks for easy remediation, or contact our security team for additional guidance. Our responsive security team helps with onboarding, triage and ongoing consultations to continuously help your organization improve your security coverage.
-
5
csharp-ls
Roslyn-based LSP language server for C#
This is a hacky Roslyn-based LSP server for C#, as an alternative to omnisharp-roslyn. csharp-ls requires .NET 7 SDK to be installed. However, it has been reported to work with projects using older versions of dotnet SDK, including .NET Core 3, .NET Framework 4.8 and possibly older ones too as it uses the standard Roslyn/MSBuild libs that Visual Studio & omnisharp does. csharp-ls implements the standard LSP protocol to interact with your editor. However there are some features that need a... -
6
lua-language-server
A language server that offers Lua language support - programmed in Lua
The Lua language server provides various language features for Lua to make development easier and faster. With around half a million installs on Visual Studio Code, it is the most popular extension for Lua language support. The language server can be installed for use in Visual Studio Code, NeoVim, and any other clients that support the Language Server Protocol. The language server can be configured using a configuration file. The language server and Visual Studio Code client can be... -
7
nixd
Nix language server, based on nix libraries
This is a feature-rich nix language server interoperating with C++ nix. -
8
Woke
Woke is a Python-based development and testing framework for Solidity
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... -
9
Verible
Verible is a suite of SystemVerilog developer tools
The Verible project's main mission is to parse SystemVerilog (IEEE 1800-2017) (as standardized in the SV-LRM) for a wide variety of applications, including developer tools. It was born out of a need to parse un-preprocessed source files, which is suitable for single-file applications like style-linting and formatting. In doing so, it can be adapted to parse preprocessed source files, which is what real compilers and toolchains require. The spirit of the project is that no-one should ever... -
Rent Manager SoftwareRent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
-
10
Psalm
A static analysis tool for finding errors in PHP applications
It’s easy to make great things in PHP, but bugs can creep in just as easily. Psalm is a free & open-source static analysis tool that helps you identify problems in your code, so you can sleep a little better. Psalm helps people maintain a wide variety of codebases, large and small, ancient and modern. On its strictest setting it can help you prevent almost all type-related runtime errors, and enables you to take advantage of safe coding patterns popular in other languages. Psalm also fixes... -
11
LSP-AI
LSP-AI is an open-source language server
LSP-AI is an open source language server that serves as a backend for AI-powered functionality in your favorite code editors. It offers features like in-editor chatting with LLMs and code completions. Because it is a language server, it works with any editor that has LSP support. -
12
clojure-lsp
Clojure & ClojureScript Language Server (LSP) implementation
Clojure‑LSP provides a Language Server Protocol server for Clojure and ClojureScript. It statically analyzes code to offer rich editor features such as autocomplete, go-to-definition, find-references, renaming, code actions, refactorings, linting, formatting, code lens, semantic highlighting, call hierarchy, and Java interop support. Works across editors via LSP clients. -
13
Metals
Scala language server with rich IDE features
Scala language server with rich IDE features. -
14
rust-analyzer
A Rust compiler front-end for IDEs
...It provides features like completion and goto definition for many code editors, including VS Code, Emacs and Vim. For VS Code, install rust-analyzer extension from the marketplace. Prebuilt language server binaries for Windows, Linux and Mac are available on the releases page. -
15
Python LSP Server
Fork of the python-language-server project
Fork of the python-language-server project, maintained by the Spyder IDE team and the community. A Python 3.7+ implementation of the Language Server Protocol. The base language server requires Jedi to provide Completions, Definitions, Hover, References, Signature Help, and Symbols. Like all language servers, the configuration can be passed from the client that talks to this server (i.e. your editor/IDE or another tool that has the same purpose). The details of how this is done depend on the... -
16
Swift Package Manager Project
The package manager for the Swift Programming Language
The Swift Package Manager is a tool for managing distribution of source code, aimed at making it easy to share your code and reuse others’ code. The tool directly addresses the challenges of compiling and linking Swift packages, managing dependencies, versioning, and supporting flexible distribution and collaboration models. We’ve designed the system to make it easy to share packages on services like GitHub, but packages are also great for private personal development, sharing code within a... -
17
Eclipse Che
Next-gen container development platform, workspace server & cloud IDE
Eclipse Che is a Kubernetes-native IDE that makes Kubernetes development accessible for development teams. It places everything a developer could need into containers in Kube pods including dependencies, embedded containerized runtimes, a web IDE, and project code. With the Kubernetes application in your development environment and an in-browser IDE, you can code, build, test and run applications exactly as they run on production from any machine. -
18
Elixir Language Server
A frontend-independent IDE "smartness" server for Elixir
Implementing features such as auto-complete or go-to-definition for a programming language is not trivial. Traditionally, this work had to be repeated for each development tool and it required a mix of expertise in both the targeted programming language and the programming language internally used by the development tool of choice. The Elixir Language Server (ElixirLS) provides a server that runs in the background, providing IDEs, editors, and other tools with information about Elixir Mix... -
19
Jsonnet Language Server
A Language Server Protocol (LSP) server for Jsonnet
A Language Server Protocol (LSP) server for Jsonnet. The design is influenced by several configuration languages internal to Google, and embodies years of experience configuring some of the world's most complex IT systems. Jsonnet is now used by many companies and projects. -
20
Typst LSP
A brand-new language server for Typst, plus a VS Code extension
A brand-new language server for Typst. Syntax highlighting, error reporting, code completion, and function signature help. Compiles to PDF on save (configurable to as-you-type, or can be disabled) -
21
Astro Language Tools
Language tools for Astro
This repository contains all the editor tooling required for the Astro language (.astro files). Notably, it contains an implementation of the Language Server Protocol (LSP) which as of now is used for the official VSCode Extension but could also be used to power a plugin for your favorite IDE in the future. This repository is a monorepo managed through Turbo, which means that multiple packages are in this same repo (packages folder). The official VS Code extension for Astro. This enables all... -
22
nil
NIx Language server, an incremental analysis assistent
NIx Language server, an incremental analysis assistant for writing in Nix. This repo is also packaged via Nix flakes. The language server package is available in the default flake output github:oxalica/nil#, under bin/nil. To install, run nix profile install github:oxalica/nil. Alternatively, you can use this repository as a flake input, and add its output to your own flake-managed system-wide and/or home configurations. We are officially supported by nvim-lspconfig, see upstream docs, also... -
23
ALE
Check syntax in Vim/Neovim asynchronously and fix files
ALE is an asynchronous linting and fixing engine for Vim and Neovim that keeps feedback flowing without blocking your editor. It runs external linters and formatters in the background as you type or save, streaming diagnostics into the sign column and statusline. The project focuses on breadth and practicality: dozens of languages work out of the box, and configuration is usually a matter of selecting tools you already use on the command line. ALE can also act as a lightweight Language... -
24
Eclipse GLSP
Graphical language server platform for building web-based diagram
The Graphical Language Server Platform (GLSP) is an extensible open-source framework for building custom diagram editors based on web technologies. Alongside an extensible client framework and a server framework, GLSP provides a language server protocol (LSP) for diagrams. With that, GLSP enables the development of modern, web-based diagram editors, whereas the heavy lifting, such as loading, interpreting, and editing according to the rules of the modeling language, is encapsulated in the... -
25
crystalline
A Language Server Protocol implementation for Crystal
Crystalline is an implementation of the Language Server Protocol written in and for the Crystal Language. It aims to provide limited language features (like go-to, autocompletion, syntax and semantic checking) and ease development with any compatible code editor. Crystalline is not as extensive in terms of features as other Language Servers but still provides very convenient tools. Code Diagnostics. Syntax and semantic checks on save. Limited Autocompletion. List (depending on the target)...
