https://github.com/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.
https://github.com/ibrahimcesar/categorical-semantics-workbench
category-theory code-generation compiler curry-howard lambda-calculus linear-types programming-languages rust type-systems type-theory
Last synced: 5 months ago
JSON representation
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
- Host: GitHub
- URL: https://github.com/ibrahimcesar/categorical-semantics-workbench
- Owner: ibrahimcesar
- License: mit
- Created: 2025-12-03T18:35:00.000Z (6 months ago)
- Default Branch: main
- Last Pushed: 2025-12-03T18:38:14.000Z (6 months ago)
- Last Synced: 2025-12-26T21:56:57.604Z (5 months ago)
- Topics: category-theory, code-generation, compiler, curry-howard, lambda-calculus, linear-types, programming-languages, rust, type-systems, type-theory
- Size: 15.6 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 32
-
Metadata Files:
- Readme: README.md
- License: LICENSE