Haskell Model

Open-source Haskell projects categorized as Model
Edit details
Data structures Haskell Unclassified Domain Codegen
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
featured

Top 5 Haskell Model Projects

Model

  1. domain

    Focused domain model declaration toolkit for Haskell

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo

  3. clafer

    Clafer is a lightweight modeling language

  4. algebra-checkers

    checkers for algebra driven design

  5. claferIG

    Support for reasoning on Clafer models by instantiation and counter example generation.

  6. domain-optics

  7. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Model discussion

Log in or Post with

Haskell Model related posts

  • Domain: Haskell Focused domain model toolkit with codegen

    1 project | news.ycombinator.com | 23 Dec 2021

Index

What are some of the best open-source Model projects in Haskell? This list will help you:

# Project Stars
1 domain 47
2 clafer 46
3 algebra-checkers 34
4 claferIG 11
5 domain-optics 2

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
Loading...