Awesome Open Source

Programming Languages

Coq Lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Categories > Mathematics > Coq

Suggest Alternative

Stars

121

License

lgpl-2.1

Most Recent Commit

3 months ago

Programming Language

OCaml

Categories

Programming Languages > Ocaml

Integrated Development Environments > Ide

Integrated Development Environments > Vscode Extension

Mathematics > Coq

Networking > Language Server Protocol

Suggest An Alternative To coq-lsp

Popular Coq Projects

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Language Server Protocol Projects

Theia ⭐ 18,790

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

most recent commit 18 days ago

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

most recent commit 2 months ago

Nvim Lspconfig ⭐ 9,402

Quickstart configs for Nvim LSP

most recent commit 18 days ago

Spyder ⭐ 7,940

Official repository for Spyder - The Scientific Python Development Environment

dependent packages 60total releases 111latest release November 08, 2023most recent commit 3 months ago

pypi spyder} Downloads

Lsp Mode ⭐ 4,595

Emacs client/library for the Language Server Protocol

most recent commit 3 months ago

Popular Mathematics Categories

Related Searches

Ide Vscode Extension

Ocaml Vscode Extension

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Ocaml

Ide

Vscode Extension

Coq

Language Server Protocol

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.