SaaSHub helps you find the best software and product alternatives Learn more →
Grace Alternatives
Similar projects and alternatives to grace
-
wasp
The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
copilot
A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)
-
-
-
-
-
-
-
-
-
grace discussion
grace reviews and mentions
-
Software 3.1? – AI Functions
The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types.
https://github.com/Gabriella439/grace
- Fall-from-grace: A prompt engineering functional programming language
-
Haskell for all: Beyond agentic coding
Author here: yeah, this is a good point and something I think about even outside the context of agentic coding.
I've also tinkered with this idea myself in the context of prompt engineering with my Grace Browser project (https://trygrace.dev/), which converts code to an equivalent dynamic web form live within your browser.
I do think it's useful to remember that code is not the end goal and is itself just another mediated interface to the actual goal: the product your building. However, I think even if you cut code out of the picture the chat interface is still not necessarily the right interface for building a product. A great example of how to build a non-chat interface to product building (predating the AI boom) is Bret Victor's [Inventing on Principle](https://www.youtube.com/watch?v=PUv66718DII) talk and there might be ways we can refresh the ideas in that talk for the AI era (although I still don't have any specific thoughts along those lines yet).
- I want to learn Haskell, but...
- PL Scaffolding project?
-
Is there a standardized programming model to build compilers with Haskell that I can follow to assure the best results?
Gabriella Gonzles's Fall-from-Grace is intended to be a demonstration of best practices when implementing a language in Haskell. If you were starting a brand new project, I would recommend to fork it and to gradually modify the Grace language into your language, but since you've already started, I recommend to look at the code for inspiration instead.
-
The appeal of bidirectional type-checking
My Grace project has a reference implementation of a bidirectional type-checker, so you can test drive it using the REPL:
- Building a toy compiler in Haskell, what kind of parser should I be using?
-
A note from our sponsor - SaaSHub
www.saashub.com | 17 Jun 2026
Stats
Gabriella439/grace is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of grace is Haskell.