Haskell
Repositorios de código abierto monitorizados que tienen Haskell como lenguaje principal, ordenados por estrellas.
- #1pandoc@jgm
Convertidor universal de marcado.
★ 46.045+84Variación de estrellas de los últimos 7 días - #2shellcheck@koalaman
ShellCheck, una herramienta de análisis estático para scripts de shell
★ 39.946+41Variación de estrellas de los últimos 7 días - #3postgrest@PostgREST
API REST para cualquier base de datos Postgres
★ 27.630+15Variación de estrellas de los últimos 7 días - #4simplex-chat@simplex-chat
SimpleX: la primera red de mensajería que opera sin ningún tipo de identificador de usuario. ¡100% privada por diseño! Aplicaciones para iOS, escritorio y Android 📱.
★ 19.326+39Variación de estrellas de los últimos 7 días - #5hadolint@hadolint
Linter para Dockerfile que valida bash en línea, escrito en Haskell
★ 12.379+13Variación de estrellas de los últimos 7 días - #6purescript@purescript
Un lenguaje tipado estáticamente que compila a JavaScript
★ 8902+3Variación de estrellas de los últimos 7 días - #7compiler@elm
Compilador para Elm, un lenguaje funcional para aplicaciones web confiables.
★ 7888+6Variación de estrellas de los últimos 7 días - #8unison@unisonweb
Un lenguaje de programación amigable del futuro
★ 6719+8Variación de estrellas de los últimos 7 días - #9Carp@carp-lang
Un lisp tipado estáticamente, sin GC, para aplicaciones en tiempo real.
★ 6016+5Variación de estrellas de los últimos 7 días - #10ihp@digitallyinduced
🔥 La forma más rápida de construir aplicaciones web con seguridad de tipos. IHP es un nuevo framework web con todo incluido, optimizado para la productividad a largo plazo y la felicidad del programador
★ 5343+3Variación de estrellas de los últimos 7 días - #11kmonad@kmonad
Un administrador de teclado avanzado
★ 5056+2Variación de estrellas de los últimos 7 días - #12hledger@plaintextaccounting
Herramienta de contabilidad de texto plano robusta, rápida e intuitiva con interfaces CLI, TUI y web.
★ 4673+17Variación de estrellas de los últimos 7 días - #13Haxl@facebook
Una biblioteca de Haskell que simplifica el acceso a datos remotos, como bases de datos o servicios web.
★ 4377+1Variación de estrellas de los últimos 7 días - #14duckling@facebook
Lenguaje, motor y herramientas para expresar, probar y evaluar reglas de lenguaje componibles en cadenas de entrada.
★ 4314+7Variación de estrellas de los últimos 7 días - #15fp-course@system-f
Curso de programación funcional
★ 4243+3Variación de estrellas de los últimos 7 días - #16stack@commercialhaskell
La pila de herramientas de Haskell (Haskell Tool Stack)
★ 4077+1Variación de estrellas de los últimos 7 días - #17Kind@HigherOrderCO
Un lenguaje de demostración moderno
★ 3766-1Variación de estrellas de los últimos 7 días - #18xmonad@xmonad
El núcleo de xmonad, un gestor de ventanas de mosaico pequeño pero funcional compatible con ICCCM
★ 3584+2Variación de estrellas de los últimos 7 días - #19xdg-ninja@b3nj5m1n
Un script de shell que busca archivos y directorios no deseados en tu $HOME
★ 3362+6Variación de estrellas de los últimos 7 días - #20ghc@ghc
Espejo del compilador Glasgow Haskell Compiler. Por favor, envía incidencias y parches a la instancia de GitLab de GHC (https://gitlab.haskell.org/ghc/ghc). Se recomienda a los nuevos colaboradores que comiencen con la información para principiantes (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
★ 3275-1Variación de estrellas de los últimos 7 días - #21Simula@SimulaVR
Escritorio VR para Linux
★ 3200+0Variación de estrellas de los últimos 7 días - #22cardano-node@IntersectMBO
El componente central utilizado para participar en una blockchain descentralizada de Cardano.
★ 3177+1Variación de estrellas de los últimos 7 días - #23echidna@crytic
Fuzzer de contratos inteligentes de Ethereum
★ 3171+2Variación de estrellas de los últimos 7 días - #24haskell-language-server@haskell
Soporte oficial de IDE para Haskell a través del protocol language server (LSP).
★ 2952+1Variación de estrellas de los últimos 7 días - #25agda@agda
Agda es un lenguaje de programación con tipos dependientes / probador interactivo de teoremas.
★ 2920+5Variación de estrellas de los últimos 7 días - #26hakyll@jaspervdj
Una biblioteca compiladora de sitios web estáticos en Haskell
★ 2870+4Variación de estrellas de los últimos 7 días - #27futhark@diku-dk
:boom::computer::boom: Un lenguaje de programación funcional y paralelo a nivel de datos
★ 2793+1Variación de estrellas de los últimos 7 días - #28wire-server@wireapp
🇪🇺 Servicios de backend de Wire
★ 2782+0Variación de estrellas de los últimos 7 días - #29patat@jaspervdj
Presentaciones basadas en terminal usando Pandoc
★ 2740-1Variación de estrellas de los últimos 7 días - #30yesod@yesodweb
Un framework web RESTful en Haskell construido sobre WAI.
★ 2722+0Variación de estrellas de los últimos 7 días
