Gabriella439 / graceLinks
A prompt engineering functional programming language
☆441Updated this week
Alternatives and similar repositories for grace
Users that are interested in grace are comparing it to the libraries listed below
Sorting:
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆440Updated last month
- Standard library for linear types in Haskell.☆350Updated 3 months ago
- Optics as an abstract interface☆386Updated last month
- A categorical programming language with effects☆284Updated 2 years ago
- 🕵️ Haskell STatic ANalyser☆581Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆633Updated 5 months ago
- A fast, flexible, fused effect system for Haskell☆663Updated 5 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆726Updated 2 weeks ago
- Haskell implemented with combinators☆609Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆223Updated 7 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- A friendly effect system for Haskell☆234Updated last year
- Squeal, a deep embedding of SQL in Haskell☆376Updated 3 months ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆208Updated 5 months ago
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- Mu (μ) is a purely functional framework for building micro services.☆336Updated last year
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated 3 months ago
- Generalized bananas, lenses and barbed wire☆350Updated 2 months ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆198Updated last year
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆297Updated this week
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- ☆258Updated 5 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Examples of Dependently-typed programs in Haskell☆307Updated 2 years ago
- Compiling to Categories☆455Updated last year
- ☆234Updated 2 months ago
- Code challenges to solve with Haskell☆174Updated 2 weeks ago
- higher-order, no-boilerplate monads☆1,062Updated 6 months ago