Tritlo / OllamaHolesLinks
LLM-powered typed-holes
☆39Updated 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 last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- Type-safe WebAssembly eDSL in Haskell☆26Updated 7 months ago
- high-powered optics in a small package☆53Updated 7 months ago
- Flake template for Haskell repository☆38Updated 8 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- Automatically generate Haskell bindings from C header files☆47Updated this week
- Algebraic effects in the Bluefin effect system☆17Updated last year
- ☆105Updated last week
- Fast equality saturation in Haskell☆84Updated 3 months ago
- typed finite-state machine☆18Updated 6 months ago
- ☆45Updated last month
- Distributors - Unifying Parsers, Printers & Grammars☆25Updated 3 weeks ago
- Bidirectional Parsing. Work in Progress☆32Updated 8 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- GHC plugin for automatic case splitting☆16Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 3 months ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- A cross-platform driver for Tauri in Haskell☆51Updated 11 months ago
- Haskell wrapper for iced☆34Updated last month
- Literally the best anonymous records☆36Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- 📺 The power of Haskell in your terminal!☆42Updated last week
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Leightweight generalized parser combinators☆20Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆58Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated this week