Bibliotecas escritas en Haskell
purescript-native
Un backend de compilador nativo para PureScript (a través de C++ o Golang).
- 606
- BSD 3-clause "New" or "Revised"
reach-lang
Alcance: el lenguaje de programación DApp más seguro e inteligente.
- 584
- Apache License 2.0
LambdaHack
Biblioteca del motor de juegos Haskell para rastreadores de mazmorras roguelike; envíe sus comentarios, por ejemplo, después de probar el juego de muestra con la interfaz web en.
- 580
- BSD 3-clause "New" or "Revised"
Perspec
Aplicación de escritorio programable para corregir la perspectiva de las imágenes.
- 545
- GNU Affero General Public License v3.0
reactive-banana
Librería para programación funcional reactiva en Haskell..
- 512
- BSD 3-clause "New" or "Revised"
granule
Un lenguaje funcional lineal tipificado estáticamente con tipos modales graduados para un razonamiento de programa detallado.
- 511
- BSD 3-clause "New" or "Revised"
copilot
Un marco de verificación de tiempo de ejecución basado en secuencias para generar código C duro en tiempo real.
- 510
- GNU General Public License v3.0
pi-forall
Una implementación de demostración de un lenguaje simple de tipos dependientes.
- 506
- BSD 3-clause "New" or "Revised"
stgi
Una implementación STG visual centrada en el usuario para ayudar a comprender el modelo de ejecución de GHC/Haskell.
- 502
- BSD 3-clause "New" or "Revised"
attoparsec
Una biblioteca rápida de Haskell para analizar ByteStrings.
- 497
- BSD 3-clause "New" or "Revised"
haskell-code-explorer
Aplicación web para explorar y comprender las bases de código de Haskell.
- 497
- MIT
monomer
Una biblioteca GUI fácil de usar, multiplataforma, para escribir aplicaciones Haskell.
- 494
- BSD 3-clause "New" or "Revised"
elaboration-zoo
Implementaciones mínimas para la verificación y elaboración de tipos dependientes.
- 490
- BSD 3-clause "New" or "Revised"
criterion
Una biblioteca poderosa pero simple para medir el rendimiento del código Haskell. (por Haskell).
- 489
- BSD 3-clause "New" or "Revised"