Gabriella439 / graceLinks
A prompt engineering functional programming language
☆502Updated 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.☆450Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆562Updated 2 years ago
- A categorical programming language with effects☆291Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆694Updated 2 weeks ago
- Optics as an abstract interface☆387Updated 3 weeks ago
- 🕵️ Haskell STatic ANalyser☆587Updated 2 weeks ago
- Haskell implemented with combinators☆683Updated this week
- Standard library for linear types in Haskell.☆352Updated last week
- ☆235Updated 5 months ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆199Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆668Updated last month
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆322Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated 2 years ago
- The Haskell Optimization Handbook☆182Updated 2 weeks ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆210Updated last month
- Source material for Algebra-Driven Design☆157Updated 2 years ago
- Mu (μ) is a purely functional framework for building micro services.☆336Updated last year
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆228Updated 11 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆734Updated 3 weeks ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 11 months ago
- Code challenges to solve with Haskell☆185Updated 4 months ago
- ☆258Updated 8 months ago
- ☆142Updated last month
- A friendly effect system for Haskell☆235Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆267Updated last week
- Language Server for Idris2☆184Updated last month
- Dependent type checker using normalisation by evaluation☆271Updated last year
- A simple library for reporting compiler/interpreter errors☆269Updated last year