rebeccaskinner / rofi-hoogleLinks
Search Hoogle from Rofi
☆27Updated last year
Alternatives and similar repositories for rofi-hoogle
Users that are interested in rofi-hoogle are comparing it to the libraries listed below
Sorting:
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆22Updated last year
- ☆22Updated 3 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 9 months ago
- Convert stack projects to cabal.project + cabal.project.freeze☆25Updated last year
- GHC plugin for hlint☆11Updated last year
- ☆20Updated 2 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 6 months ago
- An Android app to browse GitHub repositories☆14Updated 6 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- ☆32Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 3 years ago
- ☆41Updated last year
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Clipboard synchronization tool☆12Updated 2 weeks ago
- Infinite lists aka streams☆18Updated 2 weeks ago
- Check cross-references in repository documents☆55Updated 5 months ago
- GHC plugin for open telemetry☆24Updated 3 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 5 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Hackager tool for releasing Haskell packages to Hackage☆31Updated this week
- Type-safe printf from parsing GHC TypeLits Symbol☆26Updated last year
- Haskell wrapper for iced☆36Updated 3 months ago
- Boring and Absurd types☆17Updated 8 months ago
- Libraries for the Effectful Haskell effects system☆23Updated 3 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆42Updated 3 weeks ago
- Keep your laziness in check!☆34Updated 3 weeks ago
- Operations on files and directories with typed paths☆32Updated 7 months ago