CellScript

Cell Script is a new designed statically-typed programming language for smart contracts running on UTXO-based chain CKB.

By using Cell Script, any developer can start the jounery of CKB smart contracts in minutes.

The Cell Script specification can be found here

More details about CKB, can be find here