solcore-rs

solcore-rs is a Rust implementation of Solcore.

Warning

This project is a work in progress and is not ready for production use.

Try it in the online playground.

Compatibility target

The current compatibility target is the Haskell reference implementation at argotorg/solcore@2f372bde. The standard library and the complete 499-source reference frontend corpus are vendored from that exact revision. See SEMANTIC_DIFFERENCES.md for intentional Rust extensions, shared upstream limitations, and phase-sensitive differences, and the corpus README for the reproducible reference verdict configuration.

Compatibility does not imply production readiness or byte-for-byte compiler output. Rust deliberately keeps structured diagnostics and several safety checks that are stricter than the reference target, while shared upstream limitations remain explicitly unsupported.

Build and test

Rust is required. The checked-in rust-toolchain.toml selects Rust 1.97.0 automatically when using rustup.

cargo build --workspace --locked
cargo test --workspace --locked

License

Licensed under the Apache License 2.0.