SEROKELL

Profile set up by Edverise AI

Is this your business? Become an Edverise partner & Claim Now →

View Website

Set Up By Edverise AI

Edverise AI built this profile by analyzing thousands of data points across the web. If you own this business, become an Edverise partner to manage and update your profile.

Become an Edverise Partner

Overview

$10,000+

Min Project Size

$50 - $99/hr

Avg Hourly Rate

50 - 249

Employees

2015

Year Founded

ABOUT SEROKELL

SOFTWARE RESEARCH+DEVELOPMENT+CONSULTING ⭐️⭐️⭐️⭐️⭐

Our team comprises over 60 specialists from around the globe, many of whom hold advanced degrees in fields such as mathematics, algebra, and game theory. Why choose us? We adopt a Scientific Approach, utilizing our connections with academic institutions and research facilities to harness the latest advancements for developing fast, scalable, and secure products. Our Innovative Technologies employ a modern yet thoroughly tested software development methodology to produce solutions with fewer bugs and security flaws. We prioritize your business growth by dedicating a C-level executive to each project, ensuring that your business needs are always considered. Our key areas of expertise include software development, AI consulting, blockchain development, and auditing. To get started, simply share your requirements and arrange for a free consultation: https://serokell.io/contacts

LANGUAGES SPOKEN

EnglishGermanFrench

HIGHLIGHTS

$10,000+

Min Project Size

$50 - $99/hr

Avg Hourly Rate

50 - 249

Employees

2015

Year Founded

Services

Focus

Industries

Clients

Services Provided

30% Custom Web Application Development

25% Backend Development

45% Blockchain & Web3 Development

30% AI Strategy & Roadmap Consulting

25% Custom AI Chatbot Development

25% Generative AI

20% Robotic Process Automation (RPA)

About the Team

OUR STORY

Our Journey We are Serokell, a team of software experts that combines academic insight with practical applications since 2015. Our engineers and researchers focus on areas such as AI/ML, Big Data, blockchain, Site Reliability Engineering (SRE), and formal verification using Haskell, Rust, and Nix. We have developed systems in sectors like fintech, biotech, oil and gas, and marketplaces; contributed to projects like Tezos, Cardano, TON, and GHC; won several prestigious smart-contract competitions; released open-source tools like Edna and deploy-rs; and support talent development through courses, labs, and scholarships.

Portfolio

CARDANO SL

Cardano

Cardano SL is the cryptocurrency component of Cardano, a blockchain platform developed by IOHK. When they reached out to us, the company's aim was to create a peer-reviewed blockchain system that offered users transparent access to financial services. Serokell assisted IOHK in implementing a cutting-edge Proof of Stake (PoS) algorithm to establish a dependable financial platform for customers. We developed the layer utilizing a PoS protocol, allowing participants to use their cryptocurrency instead of relying on computational mining. Unlike previous attempts at PoS algorithm design, Serokell's work was rooted in Ouroboros, an algorithm that underwent formal verification and was devised by a team of researchers. By collaborating with researchers from IOHK, the University of Athens, the University of Connecticut, the University of Edinburgh, Aarhus University, and the Tokyo Institute of Technology, Serokell successfully transformed it into a functional software system. Our partnership generated a Haskell project at the crossroads of blockchain technology, mechanism design, and cryptography. Key features we implemented include: a blockchain based on a novel PoS consensus algorithm; a ledger that ensured secure transactions for user funds; built-in scripting language support; a CLI client for the Cardano network; a web backend for Daedalus, Cardano's wallet; a block explorer for the Cardano network (developed in collaboration with IOHK); and a web application to distribute ADA tokens sold during the ICO. Since its launch in 2018, Cardano has emerged as one of the most secure and scalable cryptocurrency platforms available, ranking #7 in the list of top 100 cryptocurrencies by market capitalization at that time.

Edna

BIOCAD

Edna is a web-based, open-source application designed for data analysis and storage. It was developed by Serokell at the request of Biocad, a prominent international biotech company. Previously, Biocad's researchers relied on a proprietary data analysis tool that presented numerous challenges, such as lacking storage for experimental data, offering a limited set of curves and functionality, and not allowing for plugin development. Our goal was to create a user-friendly tool with a broad range of features and the ability to incorporate new ones as needed. After thorough research, the Serokell team successfully built a free, flexible tool. Edna operates in the cloud, enabling scientists to utilize their personal devices for their work. It also includes customization options to align with company processes. Key features of Edna are: a Data Viewer for examining experimental data and generating graphs for specific compounds through a web interface, a Data Analyzer that can evaluate data and produce necessary metrics, and a Library that archives and displays historical data on experiments and testing methodologies. We collaborated closely with Biocad to develop a minimum viable product (MVP) that is ready for testing and can be easily enhanced with plugins and additional features.

Telegram Open Network (TON)

The Telegram Open Network was a blockchain platform developed by the creators of Telegram. To invigorate their project, they frequently held contests for blockchain developers. The purpose of the competition was straightforward: participants were tasked with creating one or more from a list of five distinct smart contracts, including a multi-signature wallet, a simple TON DNS Resolver smart contract with automatic registration for new subdomains, a synchronous two-party payment channel, a simple TON DNS Resolver smart contract with manual registration for new subdomains, and an asynchronous two-party payment channel. Developers’ submissions would then be evaluated by their peers and a panel of judges. Serokell competed against nearly 70 teams and secured the top prize. We developed two efficient solutions that were seamlessly integrated into the TON ecosystem, utilizing the programming languages provided by TON and even creating our own embedded domain-specific language (eDSL). Our asynchronous payment channel solution facilitates off-chain payments between users, conserving both time and money. Users no longer need to wait for a new block to be created in order to make transfers, enabling them to send payments as small and frequent as desired—such as for morning coffee or pizza, or for microtransactions. This is achieved by establishing a contract where each participant contributes shares, accompanied by specific IOU messages to keep track of the current debt. The contract was built using FunC, and as per competition requirements, the command-line tool for interacting with it was developed in Fift. Our project won first place in the blockchain competition, providing Telegram with a solution that allows TON users to quickly and securely transfer payments off-chain while ensuring final settlement. We were extremely proud to contribute to the advancement of what was considered one of the most promising blockchains at the time and are eager to engage in similar projects in the future.

13 more projects

Projects & Clients

Project Size & Rate

Minimum Project Size

$10,000+

Average Hourly Rate

$50 - $99/hr

Pricing Snapshot

Min Project Size

$10,000+

Avg Hourly Rate

$50 - $99/hr

Cost Rating

N/A

What Clients Have Said

“

"SEROKELL delivers quality projects within budget and timeline expectations based on verified client feedback."

Based on verified reviews and internal benchmark data

MOST COMMON PROJECT SIZE

0 Reviews

this range

No distribution data available.

Select a service

Custom Web Application Development

Backend Development

Blockchain & Web3 Development

AI Strategy & Roadmap Consulting

Custom AI Chatbot Development

Generative AI

Robotic Process Automation (RPA)

SEROKELL

Set Up By Edverise AI

Edverise AI built this profile by analyzing thousands of data points across the web. If you own this business, become an Edverise partner to manage and update your profile.

Overview

SOFTWARE RESEARCH+DEVELOPMENT+CONSULTING ⭐️⭐️⭐️⭐️⭐

Services

Focus

Industries

Clients

About the Team

Portfolio

CARDANO SL

Edna

Telegram Open Network (TON)

13 more projects

Projects & Clients

Project Size & Rate

Pricing Snapshot

$10,000+

$50 - $99/hr

N/A

What Clients Have Said

“

Select a service

Industry Recognitions

What happens when we run out of data for AI models

Overcoming the challenges of small data

The Functional Futures Podcast

Past and Present of Haskell – Interview with Simon

Partnership with NixOS

Direito Digital e Inteligência Artificial

Wikipedia used Serokell research as a source

Fedora announces collaboration with Serokell

Agora shares collaboration with Serokell

Mentioned at Forbes Council

Algebra of ADTs – Constantine Ter-Matevosian

Comonads – Constantine Ter-Matevosian

Linear Types – Constantine Ter-Matevosian

Leading AI service provider

Powered by flakes

Haskell in Production

What languages are used to build scalable apps?

Top post on functional programming on Reddit

The most popular post of the month on HN

Interview with our CEO

Official Tezos partners

Our work used in the course at Queensland Uni

Created an open source tool for remote teams

Listed as leaders in AI

Past and Present of Haskell

Live-Coding Rust

Personal Information Security

Product Development Basics

From Whitespace to Idris: Interview With E.Brady

Squeezing Small Nix Containers into Nomad

Image Segmentation

Active Learning

What is Explainable AI?

Neural Network Compression

Fake News Detection via Different ML Approaches

Why We Need Ethics of AI

Dependency Analysis of Haskell Declarations

How to Make the Most out of Servant

Member of Computer Science Bibliography Community

Mentioned in a research of Humboldt-Universitat

Gave a talk at Cornell University

Were mentioned in Journal of Logic and Computation

Spoke for Formal Philosophy Association

Operators in 10 Minutes – Haskell Tutorial

Most Common Mistakes in Haskell

Functional Programming and Web3

Thunks, Sharing, Laziness: The Haskell Heap Visual

Results of the Rust in Action Giveaway

Squeezing Small and Efficient Nix Containers into

Length-Indexed Vectors

Pitfalls of Nix and How to Avoid Them

Dependent Types with David Christiansen

Haskell Typeclasses

General Artificial Intelligence: How to Design It?

Spoke for ICOholder