Tritlo / OllamaHolesLinks
LLM-powered typed-holes
☆40Updated last month
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 this week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 3 months ago
- high-powered optics in a small package☆53Updated 8 months ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 8 months ago
- ☆108Updated 2 weeks ago
- ☆19Updated last month
- Flake template for Haskell repository☆37Updated 8 months ago
- A cross-platform driver for Tauri in Haskell☆51Updated 11 months ago
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆49Updated this week
- Compositional Representable Executable Machines☆119Updated 6 months ago
- Source material for Certainty by Construction☆43Updated last year
- ☆52Updated 2 weeks ago
- typed finite-state machine☆18Updated 7 months ago
- Inspecting tool for GHC compilation pipeline☆34Updated last year
- Examples for Streamly☆29Updated last month
- An Awesome MCP Server Framework for Haskell☆24Updated last week
- Fast equality saturation in Haskell☆84Updated 4 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Algebraic effects in the Bluefin effect system☆18Updated last year
- Literally the best anonymous records☆36Updated 2 years ago
- Add early return to any do-expression☆46Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- A helpful AI assistant for Mercury engineers☆17Updated 8 months ago