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"
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"
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"
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"
cardano-ledger
La implementación del libro mayor y las especificaciones de la cadena de bloques de Cardano.
- 216
- Apache License 2.0
haskeline
Una biblioteca de Haskell para entrada de línea en programas de línea de comandos.
- 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"
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
quickcheck-state-machine
Pruebe programas monádicos utilizando modelos basados en máquinas de estado.
- 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"