Haskell
Repositórios de código aberto acompanhados que têm Haskell como linguagem principal, ordenados por estrelas.
- #1pandoc@jgm
Conversor de marcação universal
★ 46.059+93Variação de estrelas nos últimos 7 dias - #2shellcheck@koalaman
ShellCheck, uma ferramenta de análise estática para scripts shell
★ 39.959+54Variação de estrelas nos últimos 7 dias - #3postgrest@PostgREST
API REST para qualquer banco de dados Postgres
★ 27.634+18Variação de estrelas nos últimos 7 dias - #4simplex-chat@simplex-chat
SimpleX - a primeira rede de mensagens que opera sem identificadores de usuário de qualquer tipo - 100% privada por design! Aplicativos para iOS, Android e desktop 📱!
★ 19.331+40Variação de estrelas nos últimos 7 dias - #5hadolint@hadolint
Linter de Dockerfile que valida bash inline, escrito em Haskell
★ 12.379+11Variação de estrelas nos últimos 7 dias - #6purescript@purescript
Uma linguagem fortemente tipada que compila para JavaScript
★ 8.902+2Variação de estrelas nos últimos 7 dias - #7compiler@elm
Compilador para Elm, uma linguagem funcional para aplicações web confiáveis.
★ 7.894+12Variação de estrelas nos últimos 7 dias - #8unison@unisonweb
Uma linguagem de programação amigável vinda do futuro.
★ 6.720+9Variação de estrelas nos últimos 7 dias - #9Carp@carp-lang
Uma Lisp de tipagem estática, sem GC, para aplicações em tempo real.
★ 6.018+6Variação de estrelas nos últimos 7 dias - #10ihp@digitallyinduced
🔥 A maneira mais rápida de criar aplicações web com segurança de tipos. IHP é um novo framework web completo, otimizado para produtividade a longo prazo e felicidade do programador
★ 5.345+7Variação de estrelas nos últimos 7 dias - #11kmonad@kmonad
Um gerenciador de teclado avançado.
★ 5.057+3Variação de estrelas nos últimos 7 dias - #12hledger@plaintextaccounting
Ferramenta de contabilidade em texto simples robusta, rápida e intuitiva com interfaces CLI, TUI e web.
★ 4.677+17Variação de estrelas nos últimos 7 dias - #13Haxl@facebook
Uma biblioteca Haskell que simplifica o acesso a dados remotos, como bancos de dados ou serviços baseados na web.
★ 4.377+1Variação de estrelas nos últimos 7 dias - #14duckling@facebook
Linguagem, motor e ferramentas para expressar, testar e avaliar regras de linguagem combináveis em strings de entrada.
★ 4.315+7Variação de estrelas nos últimos 7 dias - #15fp-course@system-f
Curso de Programação Funcional
★ 4.243+3Variação de estrelas nos últimos 7 dias - #16stack@commercialhaskell
O Haskell Tool Stack.
★ 4.078+1Variação de estrelas nos últimos 7 dias - #17Kind@HigherOrderCO
Uma linguagem de prova moderna
★ 3.764-3Variação de estrelas nos últimos 7 dias - #18xmonad@xmonad
O núcleo do xmonad, um gerenciador de janelas em mosaico pequeno, funcional e compatível com ICCCM.
★ 3.585+3Variação de estrelas nos últimos 7 dias - #19xdg-ninja@b3nj5m1n
Um script shell que verifica seu $HOME em busca de arquivos e diretórios indesejados.
★ 3.362+4Variação de estrelas nos últimos 7 dias - #20ghc@ghc
Espelho do Glasgow Haskell Compiler. Por favor, envie problemas e patches para a instância Gitlab do GHC (https://gitlab.haskell.org/ghc/ghc). Novos colaboradores são encorajados a começar com as informações para iniciantes (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
★ 3.274-2Variação de estrelas nos últimos 7 dias - #21Simula@SimulaVR
Desktop de RV para Linux.
★ 3.202+2Variação de estrelas nos últimos 7 dias - #22cardano-node@IntersectMBO
O componente principal usado para participar de uma blockchain descentralizada Cardano.
★ 3.177+1Variação de estrelas nos últimos 7 dias - #23echidna@crytic
Fuzzer de contratos inteligentes Ethereum.
★ 3.173+4Variação de estrelas nos últimos 7 dias - #24haskell-language-server@haskell
Suporte oficial a IDE Haskell via Language Server Protocol (LSP)
★ 2.953+2Variação de estrelas nos últimos 7 dias - #25agda@agda
Agda é uma linguagem de programação com tipos dependentes / provador de teoremas interativo.
★ 2.919+3Variação de estrelas nos últimos 7 dias - #26hakyll@jaspervdj
Uma biblioteca compiladora de sites estáticos em Haskell
★ 2.870+4Variação de estrelas nos últimos 7 dias - #27futhark@diku-dk
Uma linguagem de programação funcional com paralelismo de dados
★ 2.793+0Variação de estrelas nos últimos 7 dias - #28wire-server@wireapp
🇪🇺 Serviços de back-end Wire
★ 2.782+0Variação de estrelas nos últimos 7 dias - #29patat@jaspervdj
Apresentações baseadas em terminal usando Pandoc
★ 2.740+0Variação de estrelas nos últimos 7 dias - #30yesod@yesodweb
Um framework web RESTful em Haskell construído sobre WAI.
★ 2.722-1Variação de estrelas nos últimos 7 dias
