Alfred 2 workflow to search Hoogle.
☆26Oct 30, 2014Updated 11 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 9 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- A cross-platform file activity monitor☆71May 17, 2016Updated 10 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.
- Tools to change the formatting of field names in Aeson instances.☆16Mar 28, 2019Updated 7 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- wxWidgets wrapper for Haskell☆37Apr 2, 2013Updated 13 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- A message-passing library, intended for simplifying network applications☆45Apr 7, 2018Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated 2 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 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.
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Benchmarking algebraic effect handler implementations☆28Jun 6, 2021Updated 5 years ago
- A compiler of Emfrp, an FRP language for small embedded systems.☆35Mar 7, 2021Updated 5 years ago
- (defunct) Purescript client code generation for Servant☆26Sep 13, 2016Updated 9 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 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
- Scripts for building GHC and Haskell programs for iOS☆164Mar 13, 2017Updated 9 years ago
- A fast globally unique variable supply with a pure API☆21Jun 26, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- ANCIENT REPO. ARCHIVED. A Heroku buildpack for Haskell/Cabal applications☆20May 27, 2022Updated 4 years ago
- Example ITCH 4.1 parser in Haskell/Ragel/C99☆16May 23, 2012Updated 14 years ago
- Haskell test discovery for the tasty framework☆35Jun 5, 2018Updated 8 years ago
- Haskell heap profiling with D3.js☆17Feb 24, 2015Updated 11 years ago
- Command-line Github issues client☆11Dec 22, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆24Oct 2, 2015Updated 10 years ago
- Paradoxes in Set Theory and Type Theory☆13Jul 24, 2024Updated last year
- Coq code formatter☆25Jun 15, 2026Updated last month
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 9 months ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago
- An experimental Haskell library for programming with effectful runners.☆30Dec 6, 2019Updated 6 years ago