Hasklig
lagrange
Our great sponsors
Hasklig | lagrange | |
---|---|---|
13 | 20 | |
5,514 | 1,147 | |
- | - | |
0.0 | 9.4 | |
about 2 years ago | 2 days ago | |
Python | C | |
SIL Open Font License 1.1 | BSD 2-clause "Simplified" License |
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.
Hasklig
-
What monosopace font do you use on Macos for developing?
Hasklig because it includes ligatures useful for programming (although mainly focused on functional programming) & is visually pleasent. https://github.com/i-tu/Hasklig
-
How can I get rid of these question marks?
Its 10000000% the font. I just tested Hasklig's regular font (this) and all of the boxes and question marks dissapear. Theres just one problems with this font. The text is weird af (pics below). It seems to like to smash characters together sometimes and others its cutting parts of them off.
-
any recommendations for themes that can reduce eye strain?
Change to Hasklig font (https://github.com/i-tu/Hasklig)
- Can anyone identify this font? -- want to use it with vim. Thanks!
- Really curious, what’s your favorite terminal fonts ?
-
I code like this, so I can get this.
I like to change it up, but I like Ubuntu Mono and right now I've been using Hasklig
-
Setting Custom Bracket Colors with VSCode
In case anyone is wondering, I use Nord theme and Hasklig font with font ligatures on.
- JetBrains Mono – the free and open-source typeface for developers
-
Monthly Hask Anything (October 2021)
self: super: { hasklig = self.callPackage ({ lib, fetchzip }: let version = "1.2"; in fetchzip { name = "hasklig-${version}"; url = "https://github.com/i-tu/Hasklig/releases/download/v${version}/Hasklig-${version}.zip"; postFetch = '' unzip $downloadedFile install -m444 -Dt $out/share/fonts/opentype OTF/*.otf ''; sha256 = "sha256-8lY1m0P1qQIbR4e7kX68jVoKZmEfPWNwK3AFLoaBEak="; meta = with lib; { homepage = "https://github.com/i-tu/Hasklig"; description = "A font with ligatures for Haskell code based off Source Code Pro"; license = licenses.ofl; platforms = platforms.all; maintainers = with maintainers; [ davidrusu Profpatsch ]; }; }) {}; }
-
What's Your Preferred Font When Coding in Raku?
I keep wondering if I should try out a font with ligatures (probably Fira Code or Hasklig), but I haven't yet. Does anyone here use a ligature font with Raku? I'm not sure if the ligatures would fit right in with the Unicode glyphs or get confusing.
lagrange
-
Support for gzip compression
I've proposed such solution in Lagrange feature request. What do you think?
-
The web’s most important decision
Using a terminal, the old lynx browser is probably the most widely available and user-friendly client.
If you want a GUI, Skyjake's Lagrange browswer is beautiful and available for Linux, Mac, and Windows: https://github.com/skyjake/lagrange
-
Text Only News Websites
https://github.com/skyjake/lagrange
Lagrange is sort of the Netscape of Gemini. It works on all the major desktop and mobile OSes. Personally prefer Elaho (iOS) or Buran (Android) for mobile
-
Show HN: Textual Markdown – a Markdown “browser” in the terminal
[3] https://github.com/skyjake/lagrange
- Is there an “underground” version of the internet?
- Surfing the Gopherspace
- Finger: The First Social Software
- Setting a site icon
-
Lagrange, a beautiful Gemini client, for Android (pre-release)
So for the uninitiated like myself,
this is hosted on Github at:
https://github.com/skyjake/lagrange
And is a client for a new internet protocol that is "heavier than Gopher, but lighter than the web". Discussed here:
https://gemini.circumlunar.space/
-
Gemini is Solutionism at its Worst
I'd start by checking out Antenna:
https://portal.mozz.us/gemini/warmedal.se/~antenna/
It's an aggregator of sorts, but with a bit of a twist.
Clients, for the terminal I recommend Amfora
https://github.com/makeworld-the-better-one/amfora
and Lagrange is a great GUI client
https://github.com/skyjake/lagrange
Communication, there's an informal way of addressing other gemlogs using 'RE: '. It's fraught with issues, as I have discussed. There's IRC (#gemini on tilde.chat) and Usenet (comp.infosystems.gemini) now that the mailing list (itself a potent source of drama) has gone to the great bitbucket in the sky.<p><a href="https://portal.mozz.us/gemini/gerikson.com/gemlog/gemini-sux/Re-re-re-considered-harmful.gmi" rel="nofollow">https://portal.mozz.us/gemini/gerikson.com/gemlog/gemini-sux...</a>
What are some alternatives?
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.
adblock2privoxy - Convert adblock config files to privoxy format
vscode-font-patch - An utility to patch a Visual Studio Code installation on Windows, slightly enhancing the font rendering, and fixing the autocomplete icon color.
gopher-plus - Gopher+ protocol specification
FiraCode - Free monospaced font with programming ligatures
TerraHax-Bin - Official Repository for TerraHax
victor-mono - A free programming font with cursive italics and ligatures. Donations welcome ❤️
amfora - A fancy terminal browser for the Gemini protocol.
source-code-pro - Monospaced font family for user interface and coding environments
webcert - WebCert is a Web application to generate and manage digital certificates in cases where no "full" CA is needed.
caskaydia-cove - Caskaydia Cove is a fork of the Cascadia Code typeface with the RFN (Reserved Font Name) removed, plus small adjustments to conform to the Google Fonts spec.
blockit - WebKitGTK adblock extension with Brave's Rust-based adblock engine for backend.