Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
☆65Jul 19, 2025Updated last year
Alternatives and similar repositories for hoogle_plus
Users that are interested in hoogle_plus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆153Apr 6, 2022Updated 4 years ago
- ☆24Jan 8, 2021Updated 5 years ago
- Zettelkasten file processor☆10Oct 7, 2020Updated 6 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- Unstable egglog standard library.☆17Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆18Apr 11, 2026Updated 6 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated 5 months ago
- ☆31Mar 5, 2022Updated 4 years ago
- Efficient Haskell effect handlers based on evidence translation.☆87Jul 19, 2021Updated 5 years ago
- Live Share support in Visual Studio Code for NixOS☆24Jul 14, 2021Updated 5 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 2019Updated 7 years ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆26Jul 26, 2025Updated last year
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Nov 16, 2021Updated 4 years ago
- United Monoids☆24Oct 2, 2022Updated 4 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆27Oct 20, 2021Updated 5 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆156Sep 23, 2025Updated last year
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- GHC Whole Program Compiler and External STG IR tooling☆122Jul 1, 2026Updated 3 months ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated 9 months ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- A talk☆29Apr 14, 2021Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆70Sep 1, 2025Updated last year
- Type level string parser combinators☆20Jul 3, 2026Updated 3 months ago
- Dump GHC's abstract syntax trees☆40Apr 17, 2022Updated 4 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Swagger 2.0 data model.☆76Jul 23, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- VSCode extension for Haskell☆110Jan 22, 2025Updated last year
- Guess-A-Number game in Haskell using Polysemy☆28Nov 20, 2022Updated 3 years ago
- Generates a references DB from .hie files☆70Aug 5, 2026Updated 2 months ago
- Example uses of linear types☆42Jun 25, 2020Updated 6 years ago
- Efficient non-empty variants of containers data types, with full API☆28Sep 28, 2026Updated last month
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆86Oct 7, 2026Updated 3 weeks ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago