Perpustakaan yang ditulis dalam Haskell
categorifier
Menafsirkan program Haskell ke dalam kategori tertutup cartesian apa pun..
- 38
- BSD 3-clause "New" or "Revised"
nom
Implementasi Haskell dari tipe data dan fungsi nominal (oleh bellissimogiorno).
- 38
- BSD 3-clause "New" or "Revised"
cabal-meta
hindari neraka ketergantungan komplotan dengan menginstal semua dependensi komplotan Anda secara bersamaan.
- 37
- BSD 3-clause "New" or "Revised"
twee-lib
Pembukti teorema persamaan berdasarkan penyelesaian Knuth-Bendix.
- 37
- BSD 3-clause "New" or "Revised"
hadoop-tools
Alat untuk bekerja dengan Hadoop, ditulis dengan mempertimbangkan kinerja..
- 37
- Apache License 2.0
postgresql-simple-named
:question: Implementasi parameter bernama untuk library `postgresql-simple`.
- 37
- Mozilla Public License 2.0
tasty-hedgehog
Integrasi yang bagus untuk perpustakaan pengujian properti Hedgehog.
- 37
- BSD 3-clause "New" or "Revised"
http2-client-grpc
gRPC melalui HTTP/2 untuk Haskell, klien, dan server.
- 37
- BSD 3-clause "New" or "Revised"