Tritlo / OllamaHolesLinks
LLM-powered typed-holes
☆40Updated 2 months ago
Alternatives and similar repositories for OllamaHoles
Users that are interested in OllamaHoles are comparing it to the libraries listed below
Sorting:
- ☆54Updated last month
- Servant bindings to OpenAI☆24Updated 3 weeks ago
- Automatically generate Haskell bindings from C header files☆52Updated this week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆51Updated 3 weeks ago
- Compositional Representable Executable Machines☆120Updated last week
- ☆112Updated this week
- high-powered optics in a small package☆53Updated 9 months ago
- Check cross-references in repository documents☆56Updated 3 months ago
- A library for building bots compositionally.☆47Updated 4 months ago
- Examples for Streamly☆29Updated 2 months ago
- An Awesome MCP Server Framework for Haskell☆26Updated 3 weeks ago
- A library for benign effects in Haskell☆20Updated last month
- Type-safe WebAssembly eDSL in Haskell☆27Updated 8 months ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆51Updated last year
- Leightweight generalized parser combinators☆20Updated last year
- ☆19Updated 2 months ago
- Fast equality saturation in Haskell☆84Updated this week
- typed finite-state machine☆19Updated 7 months ago
- GHC plugin for automatic case splitting☆16Updated 3 months ago
- Type-safe Atomic CSS with intuitive layouts and composable css utility classes. Inspired by Tailwindcss and Elm-UI☆53Updated 2 weeks ago
- Algebraic effects in the Bluefin effect system☆18Updated last year
- todo and unimplemented, robustly implemented☆36Updated 10 months ago
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆41Updated 3 weeks ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last month
- ☆19Updated 8 months ago
- Haskell wrapper for iced☆35Updated last month
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Updated 2 years ago