Skip to content
@surypus

Surypus

Surypus ERP/CRM - Haskell implementation with formal verification

surypus

Добро пожаловать в организацию surypus.

О проекте

Surypus — open-source ERP/CRM на Haskell с формальной верификацией. Мы собираем инфраструктуру, инструменты автоматизации и смежные утилиты, которые помогают строить надёжные системные сервисы.

Участие

См. CONTRIBUTING.md и COMMUNITY.md.

Изменения проходят через Pull Request и code review.

Pinned Loading

  1. surypus surypus Public

    Surypus ERP/CRM - Haskell implementation with formal verification, type-safe database, and event sourcing

    JavaScript 1

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…