Bibliotecas escritas en Haskell

wire-server

🇪🇺 Servicios back-end de cableado.
  • 2.6k
  • GNU Affero General Public License v3.0

yesod-persistent

Un marco web RESTful Haskell construido sobre WAI.
  • 2.5k
  • MIT

wiwinwlh

Lo que desearía saber al aprender Haskell.
  • 2.5k
  • GNU General Public License v3.0

hledger

Herramienta de contabilidad de texto simple robusta, rápida e intuitiva con CLI, TUI e interfaces web.
  • 2.4k
  • GNU General Public License v3.0 only

haskell-language-server

Soporte oficial de haskell ide a través del servidor de idiomas (LSP). Sucesor de ghcide & haskell-ide-engine..
  • 2.4k
  • Apache License 2.0

Agda

Agda es un lenguaje de programación tipificado de forma dependiente / demostrador interactivo de teoremas.
  • 2.2k

corrode

Traductor de C a Rust.
  • 2.1k
  • GNU General Public License v3.0 only

futhark

:boom::computer::boom: Un lenguaje de programación funcional paralelo a datos.
  • 2.1k
  • ISC

miso

:ramen: Un sabroso framework front-end de Haskell.
  • 2.1k
  • BSD 3-clause "New" or "Revised"

Gitit

Una wiki que usa HAppS, pandoc y git.
  • 2.1k

binaryen

DESAPROBADO a favor del backend ghc wasm, consulte https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc.
  • 2.0k
  • BSD 3-clause "New" or "Revised"

patat

Presentaciones basadas en terminales usando Pandoc.
  • 2.0k
  • GNU General Public License v2.0 only

hevm

Dapp, Seth, Hevm y más.
  • 2.0k
  • GNU Affero General Public License v3.0 only

lens

Lentes, pliegues y transversales: únase a nosotros en web.libera.chat #haskell-lens (por ekmett).
  • 1.9k
  • GNU General Public License v3.0

lamdu

lamdu - hacia el IDE de próxima generación.
  • 1.8k
  • GNU General Public License v3.0 only

xdg-ninja

Un script de shell que verifica su $HOME en busca de archivos y directorios no deseados.
  • 1.8k
  • MIT

servant

Repositorio principal para las bibliotecas de servicio: DSL para describir, servir, consultar, simular, documentar aplicaciones web y más.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

erd

Traduce una descripción de texto sin formato de un esquema de base de datos relacional a un diagrama gráfico entidad-relación.
  • 1.7k

wstunnel

Tunelización sobre el protocolo websocket - Binario estático disponible.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

scotty

Framework web de Haskell inspirado en Sinatra de Ruby, utilizando WAI y Warp (Repositorio Oficial).
  • 1.6k
  • BSD 3-clause "New" or "Revised"

HLearn-algebra

Aprendizaje automático homomórfico.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

taskell

Administrador de tareas/tableros Kanban de línea de comandos con soporte para tableros de Trello y proyectos de GitHub.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

aur

Un administrador de paquetes seguro y multilingüe para Arch Linux y AUR.
  • 1.6k
  • GNU General Public License v3.0 only

tensorflow

Enlaces de Haskell para TensorFlow.
  • 1.5k

Cabal

Repositorio oficial de desarrollo upstream para Cabal y cabal-install.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

yi

El editor programable de Haskell.
  • 1.5k
  • GNU General Public License v2.0 only

dex-lang

Lenguaje de investigación para el procesamiento de arreglos en la familia Haskell/ML.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

neuron

Toma de notas y publicación preparadas para el futuro basadas en Zettelkasten (reemplazado por Emanote: https://github.com/srid/emanote).
  • 1.5k
  • GNU Affero General Public License v3.0 only

plutus

La implementación y las herramientas del lenguaje Plutus.
  • 1.5k
  • Apache License 2.0

brick

Una biblioteca declarativa de interfaz de usuario de terminal Unix escrita en Haskell.
  • 1.4k
  • BSD 3-clause "New" or "Revised"