Tylip

Software development and consulting

We focus on software development and integration using the functional programming approach to deliver verified high quality solutions.

Scala development

We specialize in full-stack Scala development services and extensively use Typelevel libraries, Kafka, Scala.js, Play, Akka and other related technologies.

Functional programming

Our background in computer science and logics allows us to do consulting, development and education in functional programming and formal verification technologies such as Haskell, Caml, F#, Coq, Agda etc.

General development

We have extensive experience with the most popular languages and technology stacks such as Java, C#, Javascript, Ruby, PHP, Python, etc. Our implementations use various containerization systems, cloud platforms and data management systems.

Industries

Our implemented projects include:

  • enterprise web information systems;
  • process automation systems;
  • cloud integration solutions;
  • API integrations and data migration solutions;
  • interactive edicational and eLearning tools with LMS integrations.

Contact us

Let us know about your project and business goals and we'll come up with ideas and plans for a solution!

hello@tylip.com

We are based in Moscow, Russia and work remotely around the world.