Jun 07, 2023
No image
Ligo
Completed

Ligo

$100,000+
Less 1 month
United States
2-5
view project
Service categories
Service Lines
Blockchain
Domain focus
Other
Programming language
Haskell
TypeScript
Subcategories
Blockchain
Smart Contract

Challenge

Serokell has created a language server for the LIGO smart contract language to enhance the developer experience for Tezos blockchain programmers. Additionally, the company accomplished several other improvements for LIGO development, such as designing a debugger, supporting error recovery in parsers, introducing formal verification of the LIGO compiler, and creating a web-based development environment.

Solution

The language server provides language-specific features such as autocomplete, go-to-definition, and document formatting to code editors and IDEs using the Language Server Protocol (LSP). Serokell has ensured that the language server is supported by popular editor choices such as Emacs, Vim, and VSCode. Additionally, the company accomplished several other improvements for LIGO development, such as designing a debugger, supporting error recovery in parsers, introducing formal verification of the LIGO compiler, and creating a web-based development environment.

Results

The tech stack for this project included: the Haskell programming language for Web IDE and debugger; LSP in OCalm for implementing the LSP server; Linol for introducing LSP queries. As the result, Ligo compiler got the necessary functionality and advanced web-based development environment.