Search Hoogle with Alfred
☆21Nov 20, 2019Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for writing script filters for Alfred in Haskell☆10Jun 23, 2019Updated 7 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- Plucky Runtime IO☆16Dec 20, 2024Updated last year
- A high-level wrapper OCaml SQL Server client library using FreeTDS☆14Apr 27, 2021Updated 5 years ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago
- The OCaml runtime ported from C to Rust☆15Jun 6, 2026Updated 4 months ago
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago
- macOS bindings to the FSEvents API☆18Aug 13, 2026Updated 2 months ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 11 years ago
- A promise stream serves the same purpose as a blocking lazy sequence. Javascript code may not block and so an asynchronous alternative is…☆14Dec 17, 2013Updated 12 years ago
- Thrift library for OCaml extracted from Thrift sources☆18Jun 10, 2024Updated 2 years ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- OCaml bindings to Windows' IOCP API☆17Apr 19, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- A library to manage Mach port right references and exchange Mach messages in Rust.☆13May 16, 2023Updated 3 years ago
- An implementation of the Jade templating language in Erlang☆15May 10, 2018Updated 8 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Parallel version of incremental library☆20Nov 2, 2023Updated 3 years ago
- Language server and VS Code extension for Menhir and Ocamllex☆15Updated this week
- Erlang for your music (libspotify wrapper)☆14Nov 3, 2012Updated 13 years ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- Simple IRIX Device Driver☆14Feb 14, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Nov 10, 2024Updated last year
- Benchmarking environment for http servers☆23Apr 6, 2026Updated 6 months ago
- Ocaml mode for emacs using treesitter☆16Aug 30, 2024Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated 2 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- ☆21Aug 4, 2026Updated 2 months ago
- opam plugin to initialise a local development environment for an OCaml project☆17Nov 25, 2020Updated 5 years ago
- A simple blog project made with rails and couchdb☆11Aug 7, 2010Updated 16 years ago
- A simple app to test out irmin and dream☆19Oct 18, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 6 years ago
- Haskell domain modeling playground☆32Jan 15, 2022Updated 4 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 12 years ago
- [DEPRECATED (use avro-simple)] Runtime library and schema compiler for the Avro serialization format.☆21Jul 7, 2026Updated 3 months ago
- ☆17Jun 16, 2025Updated last year