Gabriella439 / graceLinks
A prompt engineering functional programming language
☆480Updated 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.☆448Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆684Updated 2 weeks ago
- A categorical programming language with effects☆290Updated 2 years ago
- Standard library for linear types in Haskell.☆351Updated 3 weeks ago
- 🕵️ Haskell STatic ANalyser☆586Updated 2 months ago
- Haskell implemented with combinators☆676Updated this week
- Optics as an abstract interface☆386Updated this week
- A fast, flexible, fused effect system for Haskell☆665Updated 3 weeks ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆731Updated this week
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆312Updated last week
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆227Updated 10 months ago
- ☆235Updated 4 months ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆210Updated 2 weeks ago
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆199Updated 2 years ago
- Demo for high-performance type theory elaboration☆575Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- The Haskell Optimization Handbook☆182Updated 9 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- A friendly effect system for Haskell☆235Updated last year
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆509Updated 6 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,058Updated 6 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 10 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 4 years ago
- A modern, extensible and well-documented prettyprinter.☆305Updated 3 weeks ago
- A simple library for reporting compiler/interpreter errors☆268Updated last year
- higher-order, no-boilerplate monads☆1,072Updated 9 months ago
- Minimal implementations for dependent type checking and elaboration☆753Updated 4 months ago
- Examples of Dependently-typed programs in Haskell☆307Updated 3 years ago