Bibliotecas escritas en Haskell

HDBC-session

Este repositorio incluye un generador de consultas unido basado en álgebra relacional completa y herramientas de mapeo entre la lista de valores SQL y el tipo de registro de Haskell.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Algoritmo W clásico para inferencia de tipos.
  • 226

diagnose

Una biblioteca simple para informar errores del compilador/intérprete.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Tipos de contenedores eficientes basados ​​en hashing.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Ejemplos para acompañar el libro "Haskell a fondo".
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Compatibilidad con gRPC de Haskell.
  • 220
  • Apache License 2.0

blaze-from-html

Una biblioteca combinadora de HTML increíblemente rápida para Haskell.
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

Verificación basada en SMT en Haskell. Exprese las propiedades de los programas de Haskell y pruébelas automáticamente usando solucionadores SMT.
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Un sistema de efectos amigable para Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

Una biblioteca de análisis y codificación de CSV optimizada para facilitar su uso y alto rendimiento.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Comprobador de tipos dependientes mediante normalización por evaluación.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

Implementación del protocolo Hydra Head (mediante input-output-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIF en la línea de comando.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

La implementación del libro mayor y las especificaciones de la cadena de bloques de Cardano.
  • 216
  • Apache License 2.0

serverless-haskell

Implementación de aplicaciones Haskell en AWS Lambda con Serverless.
  • 213
  • MIT

lol

Λ ⚬ λ: Criptografía de celosía funcional.
  • 212
  • GNU General Public License v3.0 only

capability

Capacidades extensionales y combinadores derivados.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Una biblioteca de Haskell para entrada de línea en programas de línea de comandos.
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

La casa de la intérprete de Glamorous Glambda.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Biblioteca cliente de nivel medio para acceder a PostgreSQL desde Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Genere automáticamente un analizador de línea de comandos para su tipo de datos.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Generar andamio para un proyecto de Haskell.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Allure of the Stars es un juego de combate de escuadrones tácticos y roguelike de ciencia ficción del futuro cercano escrito en Haskell; ofrezca sus comentarios, por ejemplo, después de probar la versión web frontend en.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

API de Telegram Bot para Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Música en Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Un marco de registro estructurado para Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Pruebe programas monádicos utilizando modelos basados ​​en máquinas de estado.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

La biblioteca Haskell LaTeX..
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

Una biblioteca de servidor HTTP rápida, que ejecuta controladores web Snap.
  • 195
  • BSD 3-clause "New" or "Revised"