Alfred 2 workflow to search Hoogle.
☆26Oct 30, 2014Updated 12 years ago
Alternatives and similar repositories for alfred-hoogle-workflow
Users that are interested in alfred-hoogle-workflow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell bot for HipChat☆10Aug 8, 2016Updated 10 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- Haskell bindings for OpenCV☆13May 7, 2014Updated 12 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Tools to change the formatting of field names in Aeson instances.☆16Mar 28, 2019Updated 7 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A cross-platform file activity monitor☆70May 17, 2016Updated 10 years ago
- wxWidgets wrapper for Haskell☆37Apr 2, 2013Updated 13 years ago
- Haskell API for Top, the type oriented protocol.☆12Oct 11, 2025Updated last year
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 8 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- (defunct) Purescript client code generation for Servant☆26Sep 13, 2016Updated 10 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- The GitHub repository for my Netwire 5 tutorial.☆13Nov 27, 2014Updated 11 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Trigger ifttt recipes easily from command line☆19Jul 16, 2016Updated 10 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Scripts for building GHC and Haskell programs for iOS☆165Mar 13, 2017Updated 9 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- A fast globally unique variable supply with a pure API☆21Jun 26, 2023Updated 3 years ago
- ☆13Jan 21, 2022Updated 4 years ago
- Command-line Github issues client☆11Dec 22, 2015Updated 10 years ago
- A compiler of Emfrp, an FRP language for small embedded systems.☆35Mar 7, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆24Oct 2, 2015Updated 11 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- Rails-like inflections for Haskell☆37Apr 13, 2026Updated 6 months ago
- Haskell test discovery for the tasty framework☆35Jun 5, 2018Updated 8 years ago
- ANCIENT REPO. ARCHIVED. A Heroku buildpack for Haskell/Cabal applications☆20May 27, 2022Updated 4 years ago
- Resources for "One Monad to Prove Them All"☆29Sep 30, 2026Updated last month
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago