agave
hoogle
Our great sponsors
agave | hoogle | |
---|---|---|
10 | 60 | |
662 | 720 | |
- | - | |
0.0 | 6.3 | |
10 months ago | 3 months ago | |
Tcl | Haskell | |
MIT License | BSD 3-clause "New" or "Revised" 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.
agave
-
What coding font is this?
This is not https://github.com/blobject/agave
-
Intel One Mono Typeface
Still my favourite: https://github.com/blobject/agave
Here's another company font: https://github.com/polarsys/b612
-
If you were a font, which one would you be?
https://github.com/blobject/agave or Futura
- I live and breathe EXCEL on a pc. WHat is the BEST font for excel sheets and tables ?
-
GNOME 44: Default mono font
I recommend Agave: https://github.com/blobject/agave (apt install fonts-agave)
- Desperate on how to create an italicized version of a font
-
[ANN] fancy-compilation (available on MELPA)
agave
-
JetBrains Mono – the free and open-source typeface for developers
Am I the only one rocking with agave? Especially agave NF, it looks a bit funky (casual-looking) but it's been really easy on my eyes on not-too-high res display(34' 1440p).
https://github.com/blobject/agave
-
Do you like Iosevka?
i like https://github.com/blobject/agave better
- Spaceduck color is AWESOME!!
hoogle
- The Hunt for the Missing Data Type
- SQL Join Flavors
-
What Is Dimensional Analysis?
Dimensions behave somewhat like a "type system" for math. These dimensional-analysis tricks act like the trick you see in Haskell sometimes, where you can easily guess an implementation of an expression once you know it's type (or e.g. search by type signature https://hoogle.haskell.org/ )
-
Do you miss dot-completion when coding in Haskell?
Haskell Spotlight makes vscode a client for hoogle. It isn't too different than jumping into your browser and type https://hoogle.haskell.org/. The main advantage is that you have everything in one place
-
dear ZVON.org owner, please take your haskell references down
https://hackage.haskell.org/package/base and https://hoogle.haskell.org are automatically up to date and better searchable than almost any other reference of any other programming language. maintaining a redundant reference that needs to be kept up to date manually is simply stupid.
-
Java 20 Is Out
Ideally like this: https://zio.dev/reference/#concurrency
Or this: https://hoogle.haskell.org/?hoogle=fork
-
Noob Question about Symbols after Class propertys.
And yeah I get it, it's hard to Google for punctuation operators in languages because it doesn't give useful search results (but not impossible, for example, Haskell has a search engine for documentation that handles symbols/punctuation).
- uh, got it. thanks Bing
-
Haskell IDE setup
{ "customLocalFormatters.formatters": [ { "command": "make format", "languages": ["haskell"] } ], "emeraldwalk.runonsave": { "commands": [ { "match": "*.hs", "isAsync": true, "cmd": "make retag retag_file=${file}" } ] }, "ghcid.command": "make ghcid", "goto-documentation.customDocs": { "hs": "https://hoogle.haskell.org/?hoogle=${query}" } }
-
Idris: A Language for Type-Driven Development
You had a look at Hoogle?
https://hoogle.haskell.org/
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
What are some alternatives?
Iosevka - Versatile typeface for code, from code.
castle - A tool to manage shared cabal-install sandboxes.
nerd-fonts - Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
ghci-ng
JetBrainsMonoSlashed - JetBrains Mono Slashed – the free and open-source typeface for developers, now with slashed zero
ihaskell - A Haskell kernel for the Jupyter project.
Sarasa-Gothic - Sarasa Gothic / 更纱黑体 / 更紗黑體 / 更紗ゴシック / 사라사 고딕
hakyll - A static website compiler library in Haskell
Ligaturizer - Programming Fonts with Ligatures added (& a script to add them to other fonts)
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
victor-mono - A free programming font with cursive italics and ligatures. Donations welcome ❤️
elm-make