Βιβλιοθήκες γραμμένες σε Haskell
unbounded-delays
Απεριόριστες καθυστερήσεις και χρονικά όρια νημάτων.
- 7
- BSD 3-clause "New" or "Revised"
g4ip-prover
Θεώρημα αποδείξεως για διαισθητική προτασιακή λογική, fork του github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Σενάριο για εκτέλεση συστημάτων Shake build χρησιμοποιώντας την υποδομή Cabal (καταργήθηκε).
- 7
- Apache License 2.0
GG
Αυτοματοποίηση του Set Card Game, αλλά κυριολεκτικά! (από άπειρες τύψεις).
- 7
- GNU General Public License v3.0 only
dvda
(καταργήθηκε) Συμβολικές εκφράσεις και αλγοριθμική διαφοροποίηση στο Haskell..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Μια επέκταση υποδοχής τομέα Unix για τη βιβλιοθήκη https://github.com/lpeterse/haskell-socket (από VyacheslavHashov).
- 7
- MIT
curl-aeson
Βιβλιοθήκη Haskell για επικοινωνία με την υπηρεσία HTTP χρησιμοποιώντας JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Μια εφαρμογή Haskell της γλώσσας προγραμματισμού EWE (Kent), μια επέκταση της γλώσσας RAM (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Αριθμητικός επίλυσης Presburger για ενσωματωμένα φυσικά σε επίπεδο τύπου.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Υπολογίστε μια ιδανική διάταξη χρονοδιαγράμματος από ένα σύνολο χρονοθυρίδων.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Βιβλιοθήκη Haskell για ενέργειες ανύψωσης από το κάτω μέρος μιας στοίβας μετασχηματιστών monad.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Συμβατότητα του TimeLocale μεταξύ old-locale και time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
phone-numbers
Ελλιπείς δεσμεύσεις στον αριθμό libphone για τον Haskell.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Ένα απλό εργαλείο για τη δημιουργία αντιγράφων ασφαλείας και την περιστροφή στιγμιότυπων ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Μια απλοποιημένη βιβλιοθήκη περιτυλίγματος πυρήνα OpenGL ES για Haskell..
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
Παραλλαγές ByteString/Text του Debug. Trace.traceEvent/traceMarker και δυαδικής καταγραφής συμβάντων.
- 7
- BSD 3-clause "New" or "Revised"