Perpustakaan yang ditulis dalam Haskell

judge

Pembukti teorema berbasis tableau untuk logika pembenaran..
  • 1
  • GNU General Public License v3.0 only

string-like

Antarmuka yang seragam untuk objek mirip-String di Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

Sistem logika inti dari pembukti teorema HaskHOL. Lihat haskhol.org untuk lebih jelasnya..
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

parser dan prettyprinter untuk sintaks TPDB (terminasi basis data masalah).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Pengkodean Base64 di Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

Lingkungan pengembangan interaktif dan runner untuk tantangan Advent of Code.
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

Antarmuka ke/dari pustaka Cl3 dan 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

Jenis dan pengkodean umum Haskell untuk ceilometer.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Utilitas yang digunakan oleh Perdure.
  • 1

primitive-unlifted

kelas tipe PrimUnlifted, sebuah larik antarmuka dari nilai yang tidak diangkat.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

Utilitas untuk ekosistem pipa untuk pecah dan beroperasi pada ByteString dan Teks melalui pembatas..
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

Munculnya Kode 2020 (oleh pwm).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

Pustaka KSP calc (oleh 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

Templat sambatan Haskell yang diperluas ke waktu saat ini.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

📧 Integrasi Amazon SES yang mudah.
  • 1
  • BSD 3-clause "New" or "Revised"

integreat

Mengintegrasikan sumber data yang berbeda dan secara opsional melakukan integrasi diferensial..
  • 1
  • GNU General Public License v3.0 only

nano-cryptr

Pengikatan ke fungsi crypt_r glibc dari haskell..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

proxy 'pembantu' (oleh chessai).
  • 1
  • MIT

hgrep-smallcore

Proyek universitas: Implementasi Haskell dari https://www.ccs.neu.edu/home/turon/re-deriv.pdf, dengan representasi regex internal yang sangat kecil..
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

Ekstensi ViennaRNA v2 di Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

projection

Fungsi proyeksi untuk jenis produk biner yang disarangkan secara sewenang-wenang..
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

ekstensi ke repositori Haskell AWS untuk berinteraksi dengan layanan AWS Elastic Transcoder.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

Memformat String dengan karakter subskrip atau superskrip.
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

Solusi untuk Advent of Code 2020. (oleh elldritch).
  • 1

streaming-events

Konsumsi sisi klien dari ServerEvent..
  • 1
  • BSD 3-clause "New" or "Revised"