ibrahimcesar/categorical-semantics-workbench
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
Stars
—
Forks
—
Language
—
License
MIT
Category
Last pushed
Dec 03, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/ibrahimcesar/categorical-semantics-workbench"
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...
twitter/scrooge
A Thrift parser/generator
sbt-dao-generator/sbt-dao-generator
code generator sbt plugin from database schema
olafurpg/scala-db-codegen
Scala code/boilerplate generator from a db schema
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism