Librerie scritte in Haskell

judge

Dimostratore di teoremi basato su Tableau per la logica di giustificazione.
  • 1
  • GNU General Public License v3.0 only

string-like

Un'interfaccia uniforme per oggetti simili a stringhe in Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

Il sistema logico centrale del dimostratore di teoremi HaskHOL. Vedere haskhol.org per maggiori dettagli..
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

parser e prettyprinter per la sintassi TPDB (data base dei problemi di terminazione).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Codifica Base64 in Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

Ambiente di sviluppo interattivo e corridore per le sfide Advent of Code.
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

Un'interfaccia da/per le librerie Cl3 e 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

Tipi comuni di Haskell e codifica per ceilometer.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Utilità utilizzate da Perdure.
  • 1

primitive-unlifted

la classe di tipo PrimUnlifted, un array di interfaccia di valori non sollevati.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

Utilità per l'ecosistema di pipe per interrompere e operare su ByteString e Text tramite delimitatori.
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

Avvento del codice 2020 (di pwm).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

Libreria KSP calc (di frosch03).
  • 1

confcheck-types

  • 1
  • GNU Affero General Public License v3.0

trasa-extra

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

th-nowq

Modello di giunzione Haskell che si espande all'ora corrente.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

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

integreat

  • 1
  • GNU General Public License v3.0 only

nano-cryptr

Un collegamento alla funzione crypt_r di glibc da haskell..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

proxy 'aiutanti' (di chessai).
  • 1
  • MIT

hgrep-smallcore

Progetto universitario: implementazione Haskell di https://www.ccs.neu.edu/home/turon/re-deriv.pdf, con una rappresentazione regex interna molto piccola..
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

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

projection

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

aws-elastic-transcoder

estensione al repository Haskell AWS per interfacciarsi con il servizio AWS Elastic Transcoder.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

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

advent2020

Soluzioni per l'avvento del codice 2020. (di elldritch).
  • 1

streaming-events

Consumo lato client di un ServerEvent..
  • 1
  • BSD 3-clause "New" or "Revised"