meck / alfred-hoogleLinks
Search Hoogle with Alfred
☆21Updated 6 years ago
Alternatives and similar repositories for alfred-hoogle
Users that are interested in alfred-hoogle are comparing it to the libraries listed below
Sorting:
- Format strings type-safely with combinators☆168Updated last year
- Haskeline wrapper for GHCi-like REPL interfaces☆108Updated 8 months ago
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated last week
- Strict markdown processor for writers☆116Updated last week
- Refactor Haskell source files☆158Updated last year
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 4 months ago
- A language experiment -- irc.freenode.net ##coda☆163Updated last year
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆116Updated 3 weeks ago
- Hoogle terminal UI brick example app☆105Updated 2 weeks ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated last month
- Haskell XML Toolbox☆125Updated last year
- 🍖barbq is a text based status bar for macOS☆44Updated 4 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆202Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- ⚡️Efficient implementation of Map with types as keys☆102Updated 2 weeks ago
- This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead☆99Updated 6 years ago
- DEPRECATED IN FAVOR OF haskell/ghcup-hs☆267Updated 3 years ago
- Generates a references DB from .hie files☆68Updated last week
- Haskell FilePath core library☆75Updated last week
- Course for learning how to apply property-based state-machine testing☆62Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Updated 3 weeks ago
- Normalization by Evaluation for Martin-Löf Type Theory☆131Updated last year
- Designing, programming and deploying, in style.☆58Updated 3 years ago
- A small implementation of higher-order unification☆192Updated 8 years ago
- ☆99Updated 6 months ago
- Literate Haskell support for Markdown☆148Updated 3 weeks ago
- My home manager config☆16Updated 2 weeks ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Diffing of (expression) trees.☆78Updated 6 months ago
- Why Types Matter☆45Updated 8 years ago