GitHub repository: kogisin/pint
Primary language: Rust
Description: Pint, the constraint-based programming language for declarative blockchains