Tritlo / OllamaHoles
LLM-powered typed-holes
☆38Updated last week
Alternatives and similar repositories for OllamaHoles
Users that are interested in OllamaHoles are comparing it to the libraries listed below
Sorting:
- Servant bindings to OpenAI☆24Updated last week
- Flake template for Haskell repository☆34Updated 7 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- Automatically generate Haskell bindings from C header files☆45Updated this week
- ☆19Updated last week
- todo and unimplemented, robustly implemented☆33Updated 8 months ago
- ☆98Updated this week
- Leightweight generalized parser combinators☆20Updated last year
- Algebraic effects in the Bluefin effect system☆16Updated last year
- A cross-platform driver for Tauri in Haskell☆50Updated 10 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆24Updated last week
- ☆45Updated last month
- high-powered optics in a small package☆53Updated 7 months ago
- Examples for Streamly☆29Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- A library for building bots compositionally.☆47Updated 2 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated last month
- Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI☆47Updated 2 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆58Updated last year
- Source material for Certainty by Construction☆41Updated last year
- Effects libraries in Haskell☆71Updated last year
- coverage driven random testing framework☆23Updated 6 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Haskell wrapper for iced☆33Updated last month
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A modern Haskell debugger☆30Updated last week