Haskell
Repositórios de código aberto acompanhados que têm Haskell como linguagem principal, ordenados por estrelas.
- #91streamly@composewell
Programação funcional de alto desempenho, streaming e concorrente em Haskell
★ 922+0Variação de estrelas nos últimos 7 dias - #92swarm@swarm-game
Jogo de coleta de recursos e programação.
★ 917+1Variação de estrelas nos últimos 7 dias - #93conduit@snoyberg
Uma biblioteca de streaming de dados
★ 914+0Variação de estrelas nos últimos 7 dias - #94daml@digital-asset
A linguagem de contratos inteligentes Daml
★ 914+1Variação de estrelas nos últimos 7 dias - #95espial@jonschoning
O Espial é um servidor de favoritos baseado na web e de código aberto.
★ 913+2Variação de estrelas nos últimos 7 dias - #96bench@Gabriella439
Ferramenta de benchmark de linha de comando
★ 910+1Variação de estrelas nos últimos 7 dias - #97parsec@haskell
Uma biblioteca de combinadores de parser monádicos.
★ 894+1Variação de estrelas nos últimos 7 dias - #98kip@kip-dili
Uma linguagem de programação em turco onde casos gramaticais e modos fazem parte do sistema de tipos.
★ 880+2Variação de estrelas nos últimos 7 dias - #99wai@yesodweb
Interface de Aplicação Web Haskell
★ 878+1Variação de estrelas nos últimos 7 dias - #100tip-toi-reveng@entropia
Tentando entender o formato de arquivo do Tip Toi
★ 874+2Variação de estrelas nos últimos 7 dias - #101rio@commercialhaskell
Uma biblioteca padrão para Haskell.
★ 867+1Variação de estrelas nos últimos 7 dias - #102simplexmq@simplex-chat
⚙️ SimpleXMQ - Uma implementação de referência do protocolo de mensagens SimpleX para filas simplex em redes públicas.
★ 847+4Variação de estrelas nos últimos 7 dias - #103copilot@Copilot-Language
Um framework de verificação em tempo de execução baseado em fluxo para gerar código C de tempo real rígido.
★ 833+1Variação de estrelas nos últimos 7 dias - #104cardano-wallet@cardano-foundation
Servidor HTTP e linha de comando para gerenciar UTxOs e carteiras HD em Cardano.
★ 821+1Variação de estrelas nos últimos 7 dias - #105hoogle@ndmitchell
Mecanismo de busca de API para Haskell.
★ 803+2Variação de estrelas nos últimos 7 dias - #106shake@ndmitchell
Sistema de compilação Shake
★ 802+1Variação de estrelas nos últimos 7 dias - #107elaboration-zoo@AndrasKovacs
Implementações mínimas para verificação e elaboração de tipos dependentes
★ 795+1Variação de estrelas nos últimos 7 dias - #108quickcheck@nick8325
Teste automático de programas em Haskell.
★ 785+0Variação de estrelas nos últimos 7 dias - #109hspec@hspec
Um framework de testes para Haskell
★ 785+1Variação de estrelas nos últimos 7 dias - #110Perspec@ad-si
Aplicativo de desktop programável para corrigir a perspectiva de imagens.
★ 780+22Variação de estrelas nos últimos 7 dias - #111crucible@GaloisInc
Crucible é uma biblioteca para simulação simbólica de programas imperativos.
★ 774-1Variação de estrelas nos últimos 7 dias - #112MicroHs@augustss
Haskell implementado com combinadores
★ 772+1Variação de estrelas nos últimos 7 dias - #113alga@snowleopard
Grafos algébricos.
★ 761+0Variação de estrelas nos últimos 7 dias - #114distributed-process@haskell-distributed
Bibliotecas principais do Cloud Haskell
★ 750+0Variação de estrelas nos últimos 7 dias - #115sv2v@zachjs
Conversão de SystemVerilog para Verilog
★ 749+1Variação de estrelas nos últimos 7 dias - #116cgrep@awgn
Cgrep: um grep sensível ao contexto para códigos-fonte
★ 744+0Variação de estrelas nos últimos 7 dias - #117relude@kowainik
Biblioteca padrão de Haskell segura, performática, amigável e leve.
★ 742+0Variação de estrelas nos últimos 7 dias - #118granule@granule-project
Uma linguagem funcional linear estaticamente tipada com tipos modais graduados para raciocínio de programas de granulação fina
★ 732+1Variação de estrelas nos últimos 7 dias - #119hstream@hstreamdb
HStreamDB é um banco de dados de streaming nativo em nuvem e de código aberto para IoT e além. Modernize sua pilha de dados para aplicações em tempo real.
★ 722+0Variação de estrelas nos últimos 7 dias - #120taffybar@taffybar
Uma barra de status baseada em GTK para gerenciadores de janelas em mosaico, como o XMonad
★ 713+0Variação de estrelas nos últimos 7 dias
