Bibliotecas escritas em Haskell

purescript-native

Um backend de compilador nativo para PureScript (via C++ ou Golang).
  • 606
  • BSD 3-clause "New" or "Revised"

helm

  • 596
  • MIT

tttool

Tentando entender o formato de arquivo do Tip Toi.
  • 586
  • MIT

opaleye

  • 585
  • BSD 3-clause "New" or "Revised"

reach-lang

Reach: A linguagem de programação DApp mais segura e inteligente.
  • 584
  • Apache License 2.0

hpack

hpack: Um formato moderno para pacotes Haskell.
  • 580
  • MIT

LambdaHack

Biblioteca de mecanismo de jogo Haskell para rastreadores de masmorras roguelike; por favor, ofereça feedback, por exemplo, depois de experimentar o jogo de amostra com o front-end da web em.
  • 580
  • BSD 3-clause "New" or "Revised"

H

Todo o poder do R em Haskell..
  • 579
  • BSD 3-clause "New" or "Revised"

amazonka

Um Amazon Web Services SDK abrangente para Haskell.
  • 565
  • Mozilla Public License 2.0

beam

Uma biblioteca Haskell SQL não-TH segura e ORM (por haskell-beam).
  • 562
  • MIT

pact

A Linguagem de Contrato Inteligente do Pacto.
  • 550
  • BSD 3-clause "New" or "Revised"

Perspec

Aplicativo de desktop programável para corrigir a perspectiva das imagens.
  • 545
  • GNU Affero General Public License v3.0

hindent

Linda impressora Haskell.
  • 545
  • BSD 3-clause "New" or "Revised"

cubicaltt

Implementação experimental da Teoria dos Tipos Cúbicos.
  • 542
  • MIT

xmonad-contrib

Módulos contribuídos para xmonad.
  • 541
  • BSD 3-clause "New" or "Revised"

eff

🚧 um sistema de efeito de trabalho em andamento para Haskell 🚧 (por hasura).
  • 536
  • ISC

zero-bullshit-haskell

Aprenda Haskell, sem enrolação..
  • 534
  • BSD 3-clause "New" or "Revised"

stan

🕵️ Analisador Haskell STatic (por kowainik).
  • 519
  • Mozilla Public License 2.0

haskoin

Haskoin Core é uma biblioteca Bitcoin e Bitcoin Cash.
  • 516

reactive-banana

Biblioteca para programação reativa funcional em Haskell..
  • 512
  • BSD 3-clause "New" or "Revised"

granule

Uma linguagem funcional linear tipada estaticamente com tipos modais graduados para raciocínio de programa refinado.
  • 511
  • BSD 3-clause "New" or "Revised"

copilot

Uma estrutura de verificação de tempo de execução baseada em fluxo para gerar código C rígido em tempo real.
  • 510
  • GNU General Public License v3.0

pi-forall

Uma implementação de demonstração de uma linguagem simples de tipagem dependente.
  • 506
  • BSD 3-clause "New" or "Revised"

stgi

Uma implementação STG visual centrada no usuário para ajudar a entender o modelo de execução do GHC/Haskell.
  • 502
  • BSD 3-clause "New" or "Revised"

attoparsec

Uma biblioteca Haskell rápida para analisar ByteStrings.
  • 497
  • BSD 3-clause "New" or "Revised"

haskell-code-explorer

Aplicativo da Web para explorar e entender as bases de código Haskell.
  • 497
  • MIT

monomer

Uma biblioteca GUI fácil de usar, multiplataforma, para escrever aplicativos Haskell.
  • 494
  • BSD 3-clause "New" or "Revised"

elaboration-zoo

Implementações mínimas para verificação e elaboração de tipos dependentes.
  • 490
  • BSD 3-clause "New" or "Revised"

criterion

Uma biblioteca poderosa, mas simples, para medir o desempenho do código Haskell. (por haskell).
  • 489
  • BSD 3-clause "New" or "Revised"

Hakatime

Painel de implementação e análise do servidor Wakatime.
  • 486
  • The Unlicense