Tritlo / OllamaHolesLinks
LLM-powered typed-holes
☆47Updated 5 months ago
Alternatives and similar repositories for OllamaHoles
Users that are interested in OllamaHoles are comparing it to the libraries listed below
Sorting:
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated 2 weeks ago
- Haskell bindings to OpenAI☆26Updated 2 weeks ago
- Compositional Representable Executable Machines☆121Updated 3 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A modern Haskell debugger☆31Updated 5 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆54Updated this week
- ☆58Updated 4 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 8 months ago
- ☆127Updated this week
- A library for building bots compositionally.☆48Updated 7 months ago
- A library for benign effects in Haskell☆20Updated 4 months ago
- A library for producing terminal plots.☆60Updated last week
- Add early return to any do-expression☆46Updated 4 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- high-powered optics in a small package☆53Updated 2 weeks ago
- Check cross-references in repository documents☆55Updated 6 months ago
- Fast equality saturation in Haskell☆88Updated 2 months ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- An Awesome MCP Server Framework for Haskell☆34Updated last month
- ☆17Updated 2 years ago
- A modern step-through debugger for GHC Haskell☆74Updated this week
- Automatically generate Haskell bindings from C header files☆57Updated this week
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Functional choreographic programming in Haskell☆103Updated 4 months ago
- Haskell wrapper for iced☆36Updated 4 months ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 4 years ago
- ☆47Updated last week
- Type-safe WebAssembly eDSL in Haskell☆27Updated 11 months ago