Bibliothèques écrites en Haskell

wire-server

🇪🇺 Câbler les services back-end.
  • 2.6k
  • GNU Affero General Public License v3.0

yesod-persistent

Un framework Web RESTful Haskell construit sur WAI.
  • 2.5k
  • MIT

wiwinwlh

Ce que j'aurais aimé savoir en apprenant Haskell.
  • 2.5k
  • GNU General Public License v3.0

hledger

Outil de comptabilité en texte brut robuste, rapide et intuitif avec interfaces CLI, TUI et Web.
  • 2.4k
  • GNU General Public License v3.0 only

haskell-language-server

Prise en charge officielle de haskell ide via le serveur de langage (LSP). Successeur de ghcide & haskell-ide-engine..
  • 2.4k
  • Apache License 2.0

Agda

Agda est un langage de programmation à typage dépendant / démonstrateur de théorème interactif.
  • 2.2k

corrode

Traducteur C vers Rust.
  • 2.1k
  • GNU General Public License v3.0 only

futhark

:boom::computer::boom: un langage de programmation fonctionnel parallèle aux données.
  • 2.1k
  • ISC

miso

:ramen: Un savoureux framework frontal Haskell.
  • 2.1k
  • BSD 3-clause "New" or "Revised"

Gitit

Un wiki utilisant HAppS, pandoc et git.
  • 2.1k

binaryen

DÉCONSEILLÉ en faveur du backend ghc wasm, voir https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc.
  • 2.0k
  • BSD 3-clause "New" or "Revised"

patat

Présentations sur terminal utilisant Pandoc.
  • 2.0k
  • GNU General Public License v2.0 only

hevm

Dapp, Seth, Hevm et plus encore.
  • 2.0k
  • GNU Affero General Public License v3.0 only

lens

Lentilles, plis et traversées - Rejoignez-nous sur web.libera.chat #haskell-lens (par ekmett).
  • 1.9k
  • GNU General Public License v3.0

lamdu

lamdu - vers l'IDE de prochaine génération.
  • 1.8k
  • GNU General Public License v3.0 only

xdg-ninja

Un script shell qui vérifie votre $HOME pour les fichiers et répertoires indésirables.
  • 1.8k
  • MIT

servant

Référentiel principal pour les bibliothèques servantes - DSL pour décrire, servir, interroger, se moquer, documenter les applications Web et plus encore!.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

erd

Traduit une description en texte brut d'un schéma de base de données relationnelle en un diagramme graphique entité-relation.
  • 1.7k

wstunnel

Tunnellisation sur le protocole websocket - Binaire statique disponible.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

scotty

Framework web Haskell inspiré de Ruby's Sinatra, utilisant WAI et Warp (Official Repository).
  • 1.6k
  • BSD 3-clause "New" or "Revised"

HLearn-algebra

Apprentissage automatique homomorphe.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

taskell

Tableau/gestionnaire de tâches Kanban en ligne de commande avec prise en charge des tableaux Trello et des projets GitHub.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

aur

Un gestionnaire de paquets sécurisé et multilingue pour Arch Linux et l'AUR.
  • 1.6k
  • GNU General Public License v3.0 only

tensorflow

Liaisons Haskell pour TensorFlow.
  • 1.5k

Cabal

Référentiel officiel de développement en amont pour Cabal et cabal-install.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

yi

L'éditeur Haskell scriptable.
  • 1.5k
  • GNU General Public License v2.0 only

dex-lang

Langage de recherche pour le traitement des tableaux dans la famille Haskell/ML.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

neuron

Prise de notes et publication à l'épreuve du temps basées sur Zettelkasten (remplacée par Emanote: https://github.com/srid/emanote).
  • 1.5k
  • GNU Affero General Public License v3.0 only

plutus

L'implémentation et les outils du langage Plutus.
  • 1.5k
  • Apache License 2.0

brick

Une bibliothèque déclarative d'interface utilisateur de terminal Unix écrite en Haskell.
  • 1.4k
  • BSD 3-clause "New" or "Revised"