Serokell
About Serokell
Serokell is a software engineering company founded in 2015. They specialize in solving complex issues and delivering large-scale solutions for challenging industries. Serokell has developed some components for Tezos and Cardano blockchain platforms and won the 1st prize on Telegram open contest for blockchain developers. However, their expertise is not only limited to this domain. In their portfolio, you can find Fintech, EdTech, Machine Learning, and IoT projects. Haskell is the main tool used by Serokell across all these industries.
Serokell is a software engineering company founded in 2015. They specialize in solving complex issues and delivering large-scale solutions for challenging industries. Serokell has developed some components for Tezos and Cardano blockchain platforms and won the 1st prize on Telegram open contest for blockchain developers. However, their expertise is not only limited to this domain. In their portfolio, you can find Fintech, EdTech, Machine Learning, and IoT projects. Haskell is the main tool used by Serokell across all these industries.
Key Insights
Services & Focus
Industry Focus
Client Focus
Portfolio
Ligo
Serokell has created a language server for the LIGO smart contract language to enhance the developer experience for Tezos blockchain programmers. 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.
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.
Disciplina
One example of Serokell’s EdTech projects is blockchain Disciplina, for which it developed a domain-specific decentralized ledger with special regard for data privacy. Disciplina incorporated facilities for storing and merging data from several institutions, a data monetization mechanic, and a tool for evaluating the performance of educational institutions.
Staker DAO
Creation of a governance token on Tezos, portfolio token ecosystem on Ethereum, and a web app for governance monitoring.
Contribution to Tezos development
Serokell contributed to the development of Tezos, an open-source blockchain platform for smart contracts.
First prise in TON competition
Participation of Serokell development team in the TON blockchain competition
Serokell Reviews
Submit a review for Serokell
Interviews
Arseniy Seroka, CEO, Serokell
Functional programming evangelist. CEO & co-founder of Serokell, a company that specializes in the development of complex software solutions in the domains of BioTech, FinTech, Blockchain, and Machine Learning.
READ FULL INTERVIEWLocation
14156760487
33640496107