🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

🇪🇺 Wire back-end services

Espial is an open-source, web-based bookmarking server.

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

A fast functional language based on two level type theory

The Acton Programming Language

A domain-specific language for state machines.

A set of tools and libraries to bring creation, management, and sales of NFTs to any application.

The Daedalus data description language

An open-source tool for data analysis aimed to help researchers with their experiments.

Archetype IDL

PureScript source code knowledge extraction and querying support.