Perpustakaan yang ditulis dalam Haskell
g4ip-prover
Pembukti teorema untuk logika proposisional intuisionistik, fork dari github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Skrip untuk menjalankan sistem build Shake menggunakan infrastruktur Cabal (tidak digunakan lagi).
- 7
- Apache License 2.0
joint
Sistem efek yang sangat sederhana untuk Haskell (oleh iokasimov).
- 7
- BSD 3-clause "New" or "Revised"
GG
Mengotomatiskan Set Card Game, tetapi secara harfiah! (oleh penyesalan yang tak terbatas).
- 7
- GNU General Public License v3.0 only
dvda
(usang) Ekspresi simbolik dan diferensiasi algoritmik di Haskell..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Ekstensi soket domain Unix untuk perpustakaan https://github.com/lpeterse/haskell-socket (oleh VyacheslavHashov).
- 7
- MIT
curl-aeson
Pustaka Haskell untuk berkomunikasi dengan layanan HTTP menggunakan JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Implementasi Haskell dari Bahasa Pemrograman EWE (Kent), perpanjangan dari Bahasa RAM (Sethi)..
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Pemecah aritmatika Presburger untuk natural tingkat tipe bawaan.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Hitung tata letak jadwal yang ideal dari sekumpulan slot waktu.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Pustaka Haskell untuk mengangkat tindakan dari bagian bawah tumpukan trafo monad.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Kompatibilitas TimeLocale antara old-locale dan time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
phone-numbers
Pengikatan yang tidak lengkap ke libphonenumber untuk Haskell.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Alat sederhana untuk mencadangkan dan memutar snapshot ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Pustaka pembungkus inti OpenGL ES yang disederhanakan untuk Haskell..
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
Varian ByteString/Teks dari Debug. Trace.traceEvent/traceMarker dan logging peristiwa biner.
- 7
- BSD 3-clause "New" or "Revised"