Βιβλιοθήκες γραμμένες σε Haskell
connections
Μια βιβλιοθήκη για αριθμητικές μετατροπές χρησιμοποιώντας συνδέσεις Galois (κατά cmk).
- 4
- BSD 3-clause "New" or "Revised"
copilot-cbmc
Εργαλείο που βασίζεται σε cbmc για την επαλήθευση προγραμμάτων copilot.
- 4
- BSD 3-clause "New" or "Revised"
data-vector-growable
Δυναμική, αναπτυσσόμενη, με δυνατότητα αλλαγής μεγέθους, μεταβλητή και γενική εφαρμογή φορέα.
- 4
- BSD 3-clause "New" or "Revised"
hsresumebuilder
Εργαλείο Haskell CLI για τη δημιουργία βιογραφικού (CV) από ένα αρχείο YAML.
- 4
- BSD 3-clause "New" or "Revised"
type-int
Πληκτρολογήστε τα επίπεδα 2 και 16 συμπληρώνουν αριθμητική (παλιά).
- 4
- BSD 3-clause "New" or "Revised"
uuid-quasi
Βιβλιοθήκη Haskell για σταθερά UUID στον πηγαίο κώδικα χρησιμοποιώντας οιονεί εισαγωγικά.
- 4
- BSD 3-clause "New" or "Revised"
ipprint
Μικρός βοηθός για όμορφες τιμές εκτύπωσης στην κονσόλα ghci.
- 4
- BSD 3-clause "New" or "Revised"
xmonad-entryhelper
Το xmonad-entryhelper κάνει τη μεταγλωττισμένη διαμόρφωση XMonad σας ως αυτόνομο δυαδικό..
- 4
- MIT
cabal-appimage
Υποστήριξη Cabal για τη δημιουργία εφαρμογών AppImage.
- 4
- GNU Affero General Public License v3.0 only