Our great sponsors
-
Aside from the ones mentioned below, Iosevka has them.
-
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.
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.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
You can also use Ligaturzier to add ligatures to fonts that don't have them. My goto is consolas + ligatures.
-
If anyone's looking for a Windows solution, WinCompose been great for me: https://github.com/samhocevar/wincompose
-
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.
-
-
fantasque is a well-known one.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.