Haskellben írt könyvtárak

judge

Táblázat alapú tételbizonyító az igazolási logikához.
  • 1
  • GNU General Public License v3.0 only

string-like

Egységes felület a karakterlánc-szerű objektumokhoz a Haskellben.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

A HaskHOL-tétel bizonyítójának logikai magrendszere. További részletekért látogasson el a haskhol.org oldalra.
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

parser és prettyprinter a TPDB szintaxishoz (lezárási probléma adatbázis).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Base64 kódolás Haskellben.
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

Interaktív fejlesztői környezet és futó az Advent of Code kihívásaihoz.
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

Interfész a Cl3 és HMatrix könyvtárakba/könyvtárakból.
  • 1
  • BSD 3-clause "New" or "Revised"

humble-prelude

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

libretls

  • 1
  • BSD 2-clause "Simplified"

ceilometer-common

Gyakori Haskell-típusok és a celométer kódolása.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

A Perdure által használt segédprogramok.
  • 1

primitive-unlifted

a PrimUnlifted típusosztály, egy nem emelt értékek interfésztömbje.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

Segédprogramok a csövek ökoszisztémája számára, hogy megszakíthassák, és határolók segítségével működjenek a ByteStringen és a Texten.
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

A Code 2020 megjelenése (a pwm-től).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

KSP számítási könyvtár (a frosch03 által).
  • 1

confcheck-types

confcheck-típusok.
  • 1
  • GNU Affero General Public License v3.0

trasa-extra

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

th-nowq

Sablon Haskell illesztés, amely az aktuális időre bővül.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

📧 Egyszerű Amazon SES integráció.
  • 1
  • BSD 3-clause "New" or "Revised"

integreat

Integrálja a különbségi adatforrásokat, és opcionálisan hajtson végre differenciális integrációt.
  • 1
  • GNU General Public License v3.0 only

nano-cryptr

Összerendelés a glibc crypt_r függvényéhez a haskelltől..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

proxy „segítők” (a chessai által).
  • 1
  • MIT

hgrep-smallcore

Egyetemi projekt: A https://www.ccs.neu.edu/home/turon/re-deriv.pdf Haskell implementációja nagyon kis belső regex reprezentációval.
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

ViennaRNA v2 kiterjesztések a Haskellben.
  • 1
  • BSD 3-clause "New" or "Revised"

projection

Vetítési függvény tetszőlegesen beágyazott bináris terméktípusokhoz.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

kiterjesztése a Haskell AWS tárhelyre, hogy interfész legyen az AWS Elastic Transcoder szolgáltatással.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

Formázza az alsó vagy felső indexet tartalmazó karakterláncokat.
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

Megoldások a Code 2020 megjelenéséhez. (készítő: elldritch).
  • 1

streaming-events

Egy ServerEvent ügyféloldali felhasználása..
  • 1
  • BSD 3-clause "New" or "Revised"