Haskell
Dépôts open source suivis ayant Haskell pour langage principal, triés par étoiles.
- #1pandoc@jgm
Convertisseur de balisage universel.
★ 46 045+84Évolution des étoiles sur les 7 derniers jours - #2shellcheck@koalaman
ShellCheck, un outil d'analyse statique pour les scripts shell
★ 39 946+41Évolution des étoiles sur les 7 derniers jours - #3postgrest@PostgREST
API REST pour toute base de données Postgres
★ 27 630+15Évolution des étoiles sur les 7 derniers jours - #4simplex-chat@simplex-chat
SimpleX - le premier réseau de messagerie fonctionnant sans aucun identifiant utilisateur, conçu pour être 100 % privé. Applications iOS, Android et bureau disponibles.
★ 19 326+39Évolution des étoiles sur les 7 derniers jours - #5hadolint@hadolint
Linter pour Dockerfile, validant le bash en ligne, écrit en Haskell.
★ 12 379+13Évolution des étoiles sur les 7 derniers jours - #6purescript@purescript
Un langage fortement typé qui compile vers JavaScript
★ 8 902+3Évolution des étoiles sur les 7 derniers jours - #7compiler@elm
Compilateur pour Elm, un langage fonctionnel pour des applications web fiables.
★ 7 888+6Évolution des étoiles sur les 7 derniers jours - #8unison@unisonweb
Un langage de programmation convivial venu du futur.
★ 6 719+8Évolution des étoiles sur les 7 derniers jours - #9Carp@carp-lang
Un Lisp à typage statique, sans ramasse-miettes (GC), pour les applications en temps réel
★ 6 016+5Évolution des étoiles sur les 7 derniers jours - #10ihp@digitallyinduced
Le moyen le plus rapide de créer des applications web typées. IHP est un framework web complet optimisé pour la productivité à long terme et le bien-être des développeurs
★ 5 343+3Évolution des étoiles sur les 7 derniers jours - #11kmonad@kmonad
Un gestionnaire de clavier avancé
★ 5 056+2Évolution des étoiles sur les 7 derniers jours - #12hledger@plaintextaccounting
Outil de comptabilité en texte brut robuste, rapide et intuitif avec interfaces CLI, TUI et web.
★ 4 673+17Évolution des étoiles sur les 7 derniers jours - #13Haxl@facebook
Une bibliothèque Haskell qui simplifie l'accès aux données distantes, telles que les bases de données ou les services web.
★ 4 377+1Évolution des étoiles sur les 7 derniers jours - #14duckling@facebook
Langage, moteur et outils pour exprimer, tester et évaluer des règles de langage composables sur des chaînes d'entrée.
★ 4 314+7Évolution des étoiles sur les 7 derniers jours - #15fp-course@system-f
Cours de programmation fonctionnelle
★ 4 243+3Évolution des étoiles sur les 7 derniers jours - #16stack@commercialhaskell
La pile d'outils Haskell
★ 4 077+1Évolution des étoiles sur les 7 derniers jours - #17Kind@HigherOrderCO
Un langage de preuve moderne.
★ 3 766-1Évolution des étoiles sur les 7 derniers jours - #18xmonad@xmonad
Le cœur de xmonad, un gestionnaire de fenêtres en mosaïque petit mais fonctionnel et conforme à l'ICCCM.
★ 3 584+2Évolution des étoiles sur les 7 derniers jours - #19xdg-ninja@b3nj5m1n
Script shell pour vérifier la présence de fichiers et répertoires indésirables dans votre $HOME.
★ 3 362+6Évolution des étoiles sur les 7 derniers jours - #20ghc@ghc
Miroir du Glasgow Haskell Compiler. Veuillez soumettre les problèmes et les correctifs sur l'instance Gitlab de GHC (https://gitlab.haskell.org/ghc/ghc). Les nouveaux contributeurs sont invités à consulter les informations pour débutants (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
★ 3 275-1Évolution des étoiles sur les 7 derniers jours - #21Simula@SimulaVR
Bureau VR pour Linux.
★ 3 200+0Évolution des étoiles sur les 7 derniers jours - #22cardano-node@IntersectMBO
Le composant central utilisé pour participer à une blockchain décentralisée Cardano.
★ 3 177+1Évolution des étoiles sur les 7 derniers jours - #23echidna@crytic
Fuzzer de smart contracts Ethereum
★ 3 171+2Évolution des étoiles sur les 7 derniers jours - #24haskell-language-server@haskell
Support officiel de l'IDE Haskell via le Language Server Protocol (LSP)
★ 2 952+1Évolution des étoiles sur les 7 derniers jours - #25agda@agda
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 920+5Évolution des étoiles sur les 7 derniers jours - #26hakyll@jaspervdj
Une bibliothèque de compilation de sites web statiques en Haskell.
★ 2 870+4Évolution des étoiles sur les 7 derniers jours - #27futhark@diku-dk
Un langage de programmation fonctionnel à parallélisme de données.
★ 2 793+1Évolution des étoiles sur les 7 derniers jours - #28wire-server@wireapp
Services back-end Wire 🇪🇺.
★ 2 782+0Évolution des étoiles sur les 7 derniers jours - #29patat@jaspervdj
Présentations dans le terminal utilisant Pandoc
★ 2 740-1Évolution des étoiles sur les 7 derniers jours - #30yesod@yesodweb
Un framework web Haskell RESTful construit sur WAI.
★ 2 722+0Évolution des étoiles sur les 7 derniers jours
