Gabriella439 / graceLinks
A prompt engineering functional programming language
☆427Updated this 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.☆434Updated 3 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- A categorical programming language with effects☆283Updated 2 years ago
- Optics as an abstract interface☆385Updated 2 weeks ago
- Standard library for linear types in Haskell.☆349Updated 2 months ago
- Haskell implemented with combinators☆576Updated this week
- 🕵️ Haskell STatic ANalyser☆583Updated this week
- ☆233Updated 3 weeks ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆206Updated 3 months ago
- A fast, flexible, fused effect system for Haskell☆660Updated 4 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆725Updated 2 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆221Updated 6 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆223Updated last year
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆183Updated 6 months ago
- ☆258Updated 3 months ago
- A friendly effect system for Haskell☆234Updated last year
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆283Updated last week
- Haskell library for the Microsoft Language Server Protocol☆401Updated this week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Language Server for Idris2☆181Updated last week
- Source material for Algebra-Driven Design☆151Updated last year
- Generalized bananas, lenses and barbed wire☆349Updated 3 weeks ago
- ☆127Updated 3 weeks ago
- Examples of Dependently-typed programs in Haskell☆307Updated 2 years ago
- Frank compiler☆296Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆264Updated 11 months ago
- Squeal, a deep embedding of SQL in Haskell☆375Updated 2 months ago
- higher-order, no-boilerplate monads☆1,058Updated 5 months ago