Haskell Model

Open-source Haskell projects categorized as Model

Top 5 Haskell Model Projects

  • clafer

    Clafer is a lightweight modeling language

  • domain

    Focused domain model declaration toolkit for Haskell


    ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises

  • algebra-checkers

    checkers for algebra driven design

  • claferIG

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

  • domain-optics

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

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 related posts


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

Project Stars
1 clafer 45
2 domain 43
3 algebra-checkers 34
4 claferIG 12
5 domain-optics 2
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.