Vscode-lean Alternatives
Similar projects and alternatives to vscode-lean
-
-
fantasque-sans
A font family with a great monospaced variant for programmers.
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
cascadia-code
This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.
-
Ligaturizer
Programming Fonts with Ligatures added (& a script to add them to other fonts)
-
-
vscode-lean reviews and mentions
-
Coding Font – A game to find your favorite coding font
Compose keys! I type - > and it comes out →. Default compose key setups don't work for some of the more esoteric symbols I use on the daily, but editor or compiler integration takes care of that pretty easily.
Stats
leanprover/vscode-lean is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of vscode-lean is TypeScript.