SCaml

It's not a scam.

Repository Learn More

Smart Contract Abstract Machine Language


SCaml is a language for Tezos blockchain smart contracts.


Being a strict subset of OCaml, a programming language wildly used in computer science and financial industry including Tezos protocol, SCaml is a simple, small, but fully working compiler for Tezos smart contracts.


No, it's not a scam. Because Scams never name themselves scam.

For Tezos

SCaml compiles your codes to Michelson, smart contract VM for Tezos, a very secure blockchain and smart contract framework.

Strictly OCaml

SCaml is a strict subset of OCaml programming language. Learn SCaml through existing OCaml tutorials and references.

Open Source

A derivative work of an LGPL software cannot be proprietary! We welcome your contributions on GitLab (no, not GitHub).

SCaml version 1.2 "Fortune Telling" released!

SCaml, 1.2 “Fortune Telling” on 2020-09-11 which supports Tezos Delphi protocol upgrade.

The main highlight of Fortune Telling is scaml.ppx. This makes SCaml programming entirely inside the OCaml tool chain. With scaml.ppx, you write an OCaml program contains SCaml smart contract code. The OCaml program is compiled to an executable to emit the final Tezos Michelson smart contract file. This embedding is completely seamless since SCaml is a strict subset of OCaml, and you can use your favorite OCaml tools (Dune, Merlin, PPX and so on) freely.

scamlc, the standalone SCaml compiler, works fine as before. It is good to develop smaller smart contracts.