vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language. (by leanprover)
dotfiles-2.0
My dotfiles but better (by Alonely0)
Our great sponsors
| vscode-lean | dotfiles-2.0 | |
|---|---|---|
| 2 | 4 | |
| 118 | 10 | |
| -0.8% | - | |
| 2.9 | 3.6 | |
| 7 months ago | over 2 years ago | |
| TypeScript | Haskell | |
| Apache License 2.0 | Creative Commons Zero v1.0 Universal |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
vscode-lean
Posts with mentions or reviews of vscode-lean.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-27.
-
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.
-
Mathematical Keyboard
Here's a short list of the symbols I would need.
dotfiles-2.0
Posts with mentions or reviews of dotfiles-2.0.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-29.
-
Very early look at the WIP Cosmic Settings, it's search feature is much better than gnome or kde plasma's settings app[See the comments, also mods delete this post if it's too early to show screenshots]
It's my own font, you can get it here. The wm is xmonad, the dotfiles are on the root of the same repo
-
PSA: Lenovo laptops vulnerable to bug allowing admin privileges
I took it from my dotfiles, i made it for my laptop's special keys. Obviously I'm sending a simplified version that should do the job, the original is more complex but more scalable. ```py
- The latest release of Fira Code fixes the turbofish ligature
- Coding Font – A game to find your favorite coding font
What are some alternatives?
When comparing vscode-lean and dotfiles-2.0 you can also consider the following projects:
Iosevka - Versatile typeface for code, from code.
wincompose - 🔣 Compose Key for Windows
fantasque-sans - A font family with a great monospaced variant for programmers.
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)
comic-mono-font - A legible monospace font... the very typeface you’ve been trained to recognize since childhood
vscode-lean vs Iosevka
dotfiles-2.0 vs wincompose
vscode-lean vs fantasque-sans
dotfiles-2.0 vs Iosevka
vscode-lean vs cascadia-code
dotfiles-2.0 vs Ligaturizer
vscode-lean vs Ligaturizer
dotfiles-2.0 vs cascadia-code
vscode-lean vs wincompose
dotfiles-2.0 vs fantasque-sans
dotfiles-2.0 vs comic-mono-font