Bibliothèques écrites en Haskell

judge

Démonstrateur de théorème basé sur tableau pour la logique de justification.
  • 1
  • GNU General Public License v3.0 only

string-like

Une interface uniforme pour les objets de type String dans Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

Le système logique de base du prouveur de théorème HaskHOL. Voir haskhol.org pour plus de détails.
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

analyseur et jolie imprimante pour la syntaxe TPDB (base de données des problèmes de terminaison).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Encodage Base64 en Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

Environnement de développement interactif et coureur pour les défis Advent of Code.
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

Une interface vers/depuis les librairies Cl3 et HMatrix.
  • 1
  • BSD 3-clause "New" or "Revised"

humble-prelude

  • 1
  • BSD 3-clause "New" or "Revised"

libretls

  • 1
  • BSD 2-clause "Simplified"

ceilometer-common

Types Haskell courants et encodage pour ceilomètre.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Utilitaires utilisés par Perdure.
  • 1

primitive-unlifted

la classe de type PrimUnlifted, un tableau d'interface de valeurs non levées.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

Utilitaires permettant à l'écosystème de tuyaux de casser et d'opérer sur ByteString et Text via des délimiteurs.
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

Avènement du Code 2020 (par pwm).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

Bibliothèque de calcul KSP (par frosch03).
  • 1

confcheck-types

confcheck-types.
  • 1
  • GNU Affero General Public License v3.0

trasa-extra

  • 1
  • BSD 3-clause "New" or "Revised"

th-nowq

Modèle d'épissure Haskell qui s'étend à l'heure actuelle.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

📧 Intégration Amazon SES facile.
  • 1
  • BSD 3-clause "New" or "Revised"

integreat

Intégrez des sources de données différentes et effectuez éventuellement une intégration différentielle.
  • 1
  • GNU General Public License v3.0 only

nano-cryptr

Une liaison à la fonction crypt_r de la glibc à partir de haskell..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

proxy 'helpers' (par chessai).
  • 1
  • MIT

hgrep-smallcore

Projet universitaire: Implémentation Haskell de https://www.ccs.neu.edu/home/turon/re-deriv.pdf, avec une très petite représentation regex interne.
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

Extensions ViennaRNA v2 dans Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

projection

Fonction de projection pour les types de produits binaires arbitrairement imbriqués.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

extension au référentiel Haskell AWS pour s'interfacer avec le service AWS Elastic Transcoder.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

Formats Chaînes avec des caractères en indice ou en exposant.
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

Solutions pour l'avènement du code 2020. (par elldritch).
  • 1

streaming-events

Consommation côté client d'un ServerEvent..
  • 1
  • BSD 3-clause "New" or "Revised"