Banner that links to Serokell Shop. You can buy hip FP T-shirts there!

Cringy

Serokell is mentioned among the top European developers on the independent IT market research platform Good Firms.

Serokell is listed among the top European developers

Serokell is mentioned among the top European developers on the independent IT market research platform goodfirms.co. We got to the top 10 for several directions, including [the leading AI firms](https://www.goodfirms.co/artificial-intelligence/estonia), [the best blockchain technology companies](https://www.goodfirms.co/directory/country/list-blockchain-technology-companies/estonia),  [the top big data analytics companies](https://www.goodfirms.co/big-data-analytics/estonia), one of the best Internet of Things companies, etc. 

It’s a pleasure to be listed among  IT industry leaders by independent researchers like GoodFirms.

Serokell is Mentioned Among the Top European Developers

In 2024, Serokell was recognized by The Manifest independent research platform as one of the best IT companies.

Serokell listed as Top Smart Contract, Blockchain, NLP Development Firm

Serokell has been recognized in several categories by The Manifest, an independent research platform, as one of the best IT companies. It was named among the [top blockchain developers in the United States](https://themanifest.com/us/blockchain/companies), [smart contract companies in Israel](https://themanifest.com/il/blockchain/smart-contract/companies), and [NLP companies in France](https://themanifest.com/fr/artificial-intelligence/natural-language-processing/companies).

The Manifest is a business website that provides industry data, how-to guides, and vetted lists of top companies worldwide to help companies find a service provider. It offers hard data, reviews, expert insights, and actionable advice that companies need to build their brand and grow their business.

With solid expertise and extensive experience in blockchain, Serokell builds secure, transparent, and efficient blockchain systems. Our portfolio includes projects for the Cardano, Tezos, and Ethereum platforms.

Serokell combines its proficiency in functional programming with extensive blockchain knowledge to create secure, efficient, and reliable smart contracts. These self-executing contracts, which run on blockchain platforms, facilitate automated, transparent, and trustless transactions. Serokell’s team of expert developers utilizes languages such as Haskell, Rust, and Michelson to write robust and vulnerability-free smart contracts. Our thorough approach to auditing and testing ensures that every smart contract deployed meets rigorous security and operational efficiency standards.

Leveraging advanced machine learning algorithms and deep learning techniques, Serokell develops sophisticated NLP models that can understand, interpret, and generate human language with high accuracy, tailored to the specific needs of our customers.

We are honored by the Manifest experts’ recognition of our high-quality software development services in blockchain, smart contracts, and natural language processing. Committed to ongoing research, our team continues to sharpen their skills and deepen their expertise in all the areas we work in, including Biotech, Fintech, Big Data, SRE, and more.


Serokell Recognized as a Top Bockchain, Smart Contract and NLP Developer

Serokell recognized as one of the top AI developers by Software Outsourcing Journal

Serokell on Top AI Developers Lists

Serokell has been recognized as one of the top AI development companies by Software Outsourcing Journal, a reputable ranking platform that features reliable technology companies.

Software Outsourcing Journal connects outsourcing suppliers with businesses worldwide. Their platform simplifies finding and selecting the right technology company through comprehensive listings and smart filtering functions. By understanding user preferences and needs, they bridge the gap between software engineers and the market. Serokell has gone through a meticulous selection process to be added to the list of [best AI development companies](https://softwareoutsourcing.com/companies/ai-development/).

The platform acknowledges the importance of partnering with trusted companies, even for projects that may not involve extensive software outsourcing or digital transformation. 

Companies ranked on the platform are categorized based on programming language expertise, location, experience, firm size, service pricing range, competence,  quality of service, and business models. This classification system enables clients to identify and choose the most suitable technology developers for their specific needs.

Providing clients with quick and easy access to trustful software development outsourcing companies is another important aspect of Software Outsourcing Journal's services which enhances the outsourcing experience for all parties involved.

Serokell shares the platform's commitment to provide quality software solutions. We take pride in our dedication to providing high-quality services and staying at the forefront of cutting-edge technology. We are thrilled to have our expertise recognized by Software Outsourcing Journal and look forward to deliver advanced solutions for our customers from different industries.

Serokell's High-Quality Services Recognized by Software Outsourcing Journal

### Hi everyone! 

Let us tell you what happened at **FPure Conference in Kazan**.

The main event list of speakers was amazing – actually, it was expected from the only functional programming conference in Russia.

Alexander Granin, lead of the Novosibirsk LambdaNsk community, talked about two different approaches in functional programming – Final Tagless and Free Monad. [Vitaliy Bragilevsky ](http://https://twitter.com/_bravit) from SFEDU made a short lecture about building a compiler, and Alexey Pirogov from Hexlet talked about functional design and FP patterns.

What about us? Our haskellers [Danya](http://https://twitter.com/CartesianClosed) and Rinat performed excellently (congratulations once again!) It was a great opportunity for guys to represent their work and shake some hands, of course.

Our engineers gave a talk about approaches and problems of the type-driven development in Numeric Haskell. The visitors were posting their impressions online on Twitter. We selected some of the tweets to share with you.

https://twitter.com/_bravit/status/1132201805797052416
“They’re telling programmers about Presburger arithmetic. This is useful!”

https://twitter.com/xufocoder/status/1132202918923440128
“It seems that I’m starting to understand what is happening here. The dimension of the matrices cannot be controlled with the types that guys use when they solve their ML tasks. This problem can be solved using dependent types, but Haskell doesn’t have this feature! What to do? Emulate.”

https://twitter.com/xufocoder/status/1132206956788297728
“If your code is simple and the algorithm is not COMPLICATED, you may skip messing around with dependent types in your Haskell programme. But if you need to deal with it, remember that you will have to make efforts to prove your code is correct to the compiler at least.”

Meanwhile, Danya and Rinat are writing the next chapters of their series “Dimensions and Haskell”. 
“The second and third parts of the article series are going to be the most intense. In the blog post, we’re going to depict how we solved the issues and where our approach came from. After that, we will show various examples and explain how the approach is useful.

A couple of words about our approach. It can be applied not only to dimensions but to any parameters. It can be designed as a library which is compatible with any of matrix libraries and allows separating an algorithm from the proof of its correctness. But no more spoilers! Just believe me, it’s going to be hot.” 
– Danya Rogozin

The second part of the series is coming soon, stay tuned!

Serokell leverages functional programming to create bespoke solutions for a wide range of industries, including [biotech software](https://serokell.io/biotech-software-development), fintech and edtech platforms, and more. Contact us to discuss your idea!

Serokell at FPure 2019

Viktor Kazanski

Denis Oleynikov

Pavel Golovin

Mika Logan

Constantine Ter-Matevosian

Alexey Danilevsky

Vladimir Serov

Nikolay Yakimov

Inna Logunova

Ivan Smetannikov

Aleksandr Pak

Leonid Vasilev

Ilya Lubimov

Andrey Borzenkov

Markus Barenhoff

Kirill Kizilov

Kristina Martin

Nurlan Alkuatov

Jay Zelenskyi

Adrián Enríquez

Anton Sorokin

Uliana Sushinskaia

Vadym Salnyk

Daniel Kazantsev

Vito Canadi

Chris Höppner

Lars Jellema

Yorick van Pelt

Yegor Timoshenko

George Agapov

Kirill Andreev

Brian Kean

Val Baturin

Kyrill Briantsev

John Burnham

Ivan Dolgakov

Kirill Elagin

Pavel Gliev

Joakim Goldkuhl

Ivan Gromakovsky

Kostya Ivanov

Murat Kasimov

Alexander Rukin

Vasiliy Kevroletin

Mikhail Kilianovski

Maxim Koltsov

Dmitry Kovanikov

Artem Kuznetsov

Nikita Lisitsa

Allan Lukwago

Dmitry Mukhutdinov

Alexander Nikolaev

Dmitry Nikulin

Konstantin Andriotis

Artem Ohanjanyan

Ilya Peresadin

Pasquale Pinto

Danya Rogozin

Rinat Stryungis

Alexander Tiunov

Paul Tsupikoff

Mitchell Vitez

Josef Vlach

Mikhail Volkhov

Murad Murzaev

Vladislav Zavialov

Arseniy Seroka

Jons Mostovojs

Felix Stegerman

Roman Melnikov

Jaroslav Shadrin

Marina Sharygina

Leonid Cupikov

Ping Chen

Sergey Litovchenko

Nadir Asanbekov

Dmitry Lifanov

test1

Domagoj Cerjan

Ellina Poponnikova

Dmitrii Susloparov

Damir Garifullin

Aleksandr Pakulev

Kirill Kuvshinov

Roman Alterman

Anton Dobrenkiy

Alexandra Voicehovska

Eduard Sachava

Sandeep Chandrika

Grigory Pevnev

Artem Velychko

Olga Bolgurtseva

Yulia Gavrilova

Zhenya Vinogradov

Alexander Bantyev

Stepan Prudnikov

Moremi Vannak

Fedor Fedorov

Krisztián Ádám

Alyona Antonova

Artem Yurchenko

Diogo Castro

Heitor Toledo Lassarote de Paula

Ilona Prikule

Natalya Kokova

Daria Smirnova

Serokell PR

Gints Dreimanis

Ivan Markov

Andrey Demidenko

Dmitriy Mozhevitin

Iurii Kravchenko

Vlad Shcherbina

Preetham Gujjula

Dina Safullina

Alexey Khaciyants

Dmitri Puzyrev