Gabriella439 / graceLinks
A prompt engineering functional programming language
☆466Updated last week
Alternatives and similar repositories for grace
Users that are interested in grace are comparing it to the libraries listed below
Sorting:
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆443Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆559Updated 2 years ago
- A categorical programming language with effects☆288Updated 2 years ago
- Standard library for linear types in Haskell.☆350Updated last week
- Optics as an abstract interface☆386Updated last month
- Haskell implemented with combinators☆642Updated this week
- 🕵️ Haskell STatic ANalyser☆584Updated 2 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆639Updated 2 weeks ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆728Updated last month
- A fast, flexible, fused effect system for Haskell☆662Updated 6 months ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆306Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- A friendly effect system for Haskell☆235Updated last year
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆224Updated 8 months ago
- ☆233Updated 3 months ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆208Updated 6 months ago
- higher-order, no-boilerplate monads☆1,067Updated 8 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆226Updated last year
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 8 months ago
- Squeal, a deep embedding of SQL in Haskell☆375Updated 4 months ago
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- Generalized bananas, lenses and barbed wire☆350Updated 3 months ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated 4 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- A modern, extensible and well-documented prettyprinter.☆304Updated last year
- ☆258Updated 6 months ago
- Minimal implementations for dependent type checking and elaboration☆740Updated 3 months ago
- The Haskell Optimization Handbook☆181Updated 8 months ago
- Source material for Algebra-Driven Design☆154Updated 2 years ago
- Examples of Dependently-typed programs in Haskell☆307Updated 3 years ago