csw-cli
| Crates.io | csw-cli |
| lib.rs | csw-cli |
| version | 0.1.0 |
| created_at | 2025-12-05 16:54:24.787595+00 |
| updated_at | 2025-12-05 16:54:24.787595+00 |
| description | Command-line interface for the Categorical Semantics Workbench |
| homepage | https://github.com/ibrahimcesar/categorical-semantics-workbench |
| repository | https://github.com/ibrahimcesar/categorical-semantics-workbench |
| max_upload_size | |
| id | 1968702 |
| size | 14,651 |
Ibrahim Cesar (ibrahimcesar)
documentation
https://docs.rs/csw-cli
README
csw-cli
Command-line interface for the Categorical Semantics Workbench.
Installation
cargo install csw-cli
Or build from source:
git clone https://github.com/ibrahimcesar/categorical-semantics-workbench
cd categorical-semantics-workbench
cargo install --path crates/csw-cli
Usage
Show a Derived Type System
# Show Simply-Typed Lambda Calculus
csw show --example stlc
# Show Linear Lambda Calculus
csw show --example linear
# Show Affine types (Rust-like)
csw show --example affine
Generate Code
# Generate Rust code for STLC
csw derive --example stlc --output generated/stlc/
# Generate with specific target
csw derive --example linear --output generated/linear/ --target rust
Validate a Specification
csw validate --example stlc
Built-in Examples
| Example | Description |
|---|---|
stlc |
Simply-Typed Lambda Calculus (Cartesian Closed Category) |
linear |
Linear Lambda Calculus (Symmetric Monoidal Closed Category) |
affine |
Affine types, Rust-like (can drop, cannot clone) |
bccc |
Bicartesian Closed Category (STLC + sum types) |
License
Licensed under either of Apache License, Version 2.0 or MIT license at your option.