Skip to content
This repository has been archived by the owner on Oct 28, 2022. It is now read-only.
Anton Trunov edited this page Aug 2, 2022 · 5 revisions

Scilla Compiler wiki

You contribution is very welcome. Please read our contributing guide.

Related repositories

  • Scilla -- we use Scilla as an OCaml library to implement the compiler
  • ScillaRTL -- the Scilla runtime library to execute compiled code

Documentation: papers, posters, blog posts

  • Compiling a Higher-Order Smart Contract Language to LLVM ([paper] | [poster]) by Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar and Ilya Sergey, 2020 Virtual LLVM Developers' Meeting on the LLVM Compiler Infrastructure, October 2020.

  • A Debugger for Scilla : The Beginning by Vaivaswatha Nagaraj (2021)

  • A Compiled Backend for Scilla blog article by Vaivaswatha Nagaraj (2019)