hoogle
feedback
Our great sponsors
hoogle | feedback | |
---|---|---|
60 | 89 | |
720 | 2,881 | |
- | - | |
6.3 | 6.4 | |
3 months ago | almost 2 years ago | |
Haskell | ||
BSD 3-clause "New" or "Revised" License | Creative Commons Attribution 4.0 |
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.
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).
feedback
-
Community/collaborative route builder
Just learnt about this GitHub feature although it looks like it has been removed.
-
Episode 86: myNewsWrap – SAP and Microsoft
Azure skills navigator - the new developer's "Guide to the Cloud"Markdown: An option to highlight a "Note" and "Warning" using blockquote (Beta)
-
An proposed language-neutral change to GitHub's Markdown admonitions beta
Link to the alternative proposal is in this comment: https://github.com/github/feedback/discussions/16925#discuss...
- GitHub Markdown: An option to highlight a “Note” and “Warning” using blockquote
- An option to highlight a “Note” and “Warning” using blockquote (Beta)
-
Render mathematical expressions in Markdown On GitHub
(I work at GitHub.) We've started using our Discussions product for feedback. You can post a discussion here:
https://github.com/github/feedback/discussions/categories/ge...
- RENAMING New Official GITHUB feature: From "For you Beta" to "For you Alpha"
- RENAMING: "For you Beta" to "For you Alpha" on GITHUB
-
Please Stop Using Grey Text
> - Why can’t I choose the colors of web sites and applications?
For what it's worth, Firefox lets you edit them:
http://kb.mozillazine.org/index.php?title=UserContent.css&pr...
Not terribly easily, but you can do it for any site. For example I fixed a GitHub bug for myself: https://github.com/github/feedback/discussions/8098#discussi...
-
1Password for SSH changed the way I work
I’m really excited for Git’s recent addition of commit signing with SSH keys. It already works with 1Password SSH and I can’t wait for GitHub and Gitlab to support verification!
What are some alternatives?
castle - A tool to manage shared cabal-install sandboxes.
copilot.vim - Neovim plugin for GitHub Copilot
ghci-ng
Data-Science-For-Beginners - 10 Weeks, 20 Lessons, Data Science for All!
ihaskell - A Haskell kernel for the Jupyter project.
graphite-cli - Graphite's CLI makes creating and submitting stacked changes easy.
hakyll - A static website compiler library in Haskell
git-stack - Stacked branch management for Git
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
zed - A novel data lake based on super-structured data
elm-make
Gitea - Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD