Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Vscode

Idris front-end for VS Code
Stars
56
License
mit
Open Issues
4
Most Recent Commit
a year ago
Programming Language
TypeScript
Categories
Repo
Alternatives To Idris Vscode
Select To Compare
Bat ⭐ 44,818
A cat(1) clone with wings.
dependent packages 54total releases 39most recent commit 3 months agocargo bat} Downloads
Highlight.js ⭐ 22,676
JavaScript syntax highlighter with language auto-detection and zero dependencies.
dependent packages 10,872total releases 100most recent commit 3 months agonpm highlight.js} Downloads
Pgcli ⭐ 11,435
Postgres CLI with autocompletion and syntax highlighting
dependent packages 6total releases 73most recent commit 5 months agopypi pgcli} Downloads


Suggest An Alternative To idris-vscode
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization
Related Searches
Typescript Definition
Typescript Highlighter
Highlighter Definition

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Highlighter
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.