hoogle
FiraCode
hoogle | FiraCode | |
---|---|---|
60 | 206 | |
722 | 75,440 | |
- | - | |
6.3 | 6.1 | |
3 months ago | 2 months ago | |
Haskell | Clojure | |
BSD 3-clause "New" or "Revised" License | SIL Open Font License 1.1 |
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).
FiraCode
-
I Just Wanted Emacs to Look Nice – Using 24-Bit Color in Terminals
IME, this is like the golden age of terminal apps in general and macOS-compatible ones in particular. There are several really good terminals for macOS:
[iTerm2 app](https://iterm2.com/)
[Kitty terminal](https://sw.kovidgoyal.net/kitty/)
[WezTerm terminal](https://wezfurlong.org/wezterm/index.html)
[Alacritty](https://github.com/alacritty/alacritty)
My daily driver is WezTerm…
- Runs on Linux, macOS, Windows 10 and FreeBSD
- [Multiplex terminal panes, tabs and windows on local and remote hosts, with native mouse and scrollback](https://wezfurlong.org/wezterm/multiplexing.html)
- [Ligatures](https://github.com/tonsky/FiraCode#fira-code-monospaced-font...), Color Emoji and font fallback, with true color and [dynamic color schemes](https://wezfurlong.org/wezterm/config/appearance.html#colors).
- [Hyperlinks](https://wezfurlong.org/wezterm/hyperlinks.html)
- [Searchable Scrollback](https://wezfurlong.org/wezterm/scrollback.html) (use mouse wheel and `Shift-PageUp` and `Shift PageDown` to navigate, Ctrl-Shift-F to activate search mode)
- xterm style selection of text with mouse; paste selection via `Shift-Insert` (bracketed paste is supported!)
- SGR style mouse reporting (works in vim and tmux)
- Render underline, double-underline, italic, bold, strikethrough (most other terminal emulators do not support as many render attributes)
- Configuration via a [configuration file](https://wezfurlong.org/wezterm/config/files.html) with hot reloading
- Multiple Windows (Hotkey: `Super-N`)
- Splits/Panes (Split horizontally/vertically: `Ctrl-Shift-Alt-%` and `Ctrl-Shift-Alt-"`, move between panes: `Ctrl-Shift-ArrowKey`)
- Tabs (Hotkey: `Super-T`, next/prev: `Super-Shift-[` and `Super-Shift-]`, go-to: `Super-[1-9]`)
- [SSH client with native tabs](https://wezfurlong.org/wezterm/ssh.html)
- [Connect to serial ports for embedded/Arduino work](https://wezfurlong.org/wezterm/serial.html)
- Connect to a local multiplexer server over unix domain sockets
- Connect to a remote multiplexer using SSH or TLS over TCP/IP
- iTerm2 compatible image protocol support, and built-in [imgcat command](https://wezfurlong.org/wezterm/imgcat.html)
- Kitty graphics support
- Sixel graphics support (experimental: starting in `20200620-160318-e00b076c`)
-
Icons cut off when using using Konsole?
I use Konsole without any problem. Check the font. I recommend you to use one from here: https://www.nerdfonts.com/font-downloads. I personally use FiraCode medium patched with this tool to change the @ and the & symbols (ss03 and ss05). If you like that font, here you could get the codes to match your needs https://github.com/tonsky/FiraCode
-
What font are you using and why?
Fira Code with Ligatures Enabled but also Ligatures Limited - (as per wiki), to make sure those Ligatures are not where you don't want them to be.
-
copilotIsntGonnaLetMeDown
Seriously though this is my recommendation: https://github.com/tonsky/FiraCode
-
which Font do you use?
https://github.com/tonsky/FiraCode give it try
-
Berkeley Mono Typeface
I was the same until I started using Fira Code and don't think I'll ever go back to anything else. the ligatures are worth it
https://github.com/tonsky/FiraCode
- Mis 3 fuentes favoritas Open Source para VSCode 😎
-
Elevate Your Frontend Productivity Must-Have Tools and Configurations
Fira Code: A monospaced font with ligatures that enhance code legibility.
- FiraCode: Free monospaced font with programming ligatures
What are some alternatives?
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
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.
ihaskell - A Haskell kernel for the Jupyter project.
alacritty - A cross-platform, OpenGL terminal emulator.
hakyll - A static website compiler library in Haskell
source-code-pro - Monospaced font family for user interface and coding environments
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
Hack - A typeface designed for source code
elm-make
neovim - Vim-fork focused on extensibility and usability