Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
This tool helps Scala developers quickly write common functional code. You provide the function's type signature or an expression's desired type and available values, and it automatically generates the Scala code to implement it. It's for Scala developers who write purely functional programs and want to automate boilerplate.
262 stars. No commits in the last 6 months.
Use this if you are a Scala developer writing purely functional code and want to automatically generate function bodies or expressions based on their types.
Not ideal if your Scala code involves side effects, requires specific mutable state, or you need to control the exact implementation details beyond the type signature.
Stars
262
Forks
18
Language
Scala
License
Apache-2.0
Category
Last pushed
May 25, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/Chymyst/curryhoward"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
marcosschroh/dataclasses-avroschema
Generate avro schemas from python dataclasses, Pydantic models and Faust Records. Code...
sbt-dao-generator/sbt-dao-generator
code generator sbt plugin from database schema
twitter/scrooge
A Thrift parser/generator
GW2ToolBelt/api-generator
A library for creating programs that interface with data exposed by the official Guild Wars 2 API.
olafurpg/scala-db-codegen
Scala code/boilerplate generator from a db schema