Βιβλιοθήκες γραμμένες σε Haskell
ghc-syntax-highlighter
Σύνταξη επισήμανσης για το Haskell χρησιμοποιώντας το λεξικό του GHC.
- 58
- BSD 3-clause "New" or "Revised"
Hayoo
Μια βιβλιοθήκη Haskell που παρέχει τα βασικά δομικά στοιχεία για τη δημιουργία ισχυρών εφαρμογών ευρετηρίασης και αναζήτησης..
- 57
- MIT
kempe
Το Kempe είναι μια μεταγλωττισμένη γλώσσα που βασίζεται σε στοίβα.
- 57
- BSD 3-clause "New" or "Revised"
moo
Βιβλιοθήκη γενετικού αλγορίθμου για Haskell. Δυαδικά και συνεχή (πραγματικά κωδικοποιημένα) GA. Δυαδικά GA: δυαδική και γκρι κωδικοποίηση. σημειακή μετάλλαξη? crossover ενός σημείου, δύο σημείων και ομοιόμορφο. Συνεχή GAs: Gaussian μετάλλαξη. Crossover BLX-α, UNDX και SBX. Χειριστές επιλογής: ρουλέτα, τουρνουά και στοχαστική καθολική δειγματοληψία (SUS). με προαιρετική εσοχή, κατάταξη και κλιμάκωση. Στρατηγικές αντικατάστασης: γενεαλογικά με ελιτισμό και σταθερή κατάσταση. Περιορισμένη βελτιστοποίηση: τυχαία περιορισμένη αρχικοποίηση.
- 57
- BSD 3-clause "New" or "Revised"
essence-of-live-coding-gloss
Universal Live Coding & Functional Reactive Programming Framework.
- 57
- BSD 3-clause "New" or "Revised"
hedgehog-classes
Ο σκαντζόχοιρος θα φάει τα ζωύφια της κλάσης τύπου.
- 56
- BSD 3-clause "New" or "Revised"
improve
Μια επιτακτική γλώσσα προγραμματισμού στο Haskell για ενσωματωμένες εφαρμογές υψηλής ασφάλειας. Τα προγράμματα Improve επαληθεύονται με έλεγχο μοντέλου. Το ImpProve μεταγλωττίζεται σε C και Simulink..
- 56
- BSD 3-clause "New" or "Revised"
type-errors-pretty
💄🐞 Συνδυαστές για εύκολη εγγραφή όμορφων σφαλμάτων τύπου.
- 56
- Mozilla Public License 2.0
hackage-repo-tool
Πλαίσιο ασφαλείας hackage που βασίζεται στο TUF (The Update Framework).
- 56
- BSD 3-clause "New" or "Revised"
cl3
Η Haskell Library εφαρμόζει τυπικές συναρτήσεις για την Άλγεβρα του Φυσικού Χώρου Cl(3,0).
- 56
- BSD 3-clause "New" or "Revised"
unbound-generics
Καθορίστε τη δέσμευση μεταβλητών σε δέντρα σύνταξης χρησιμοποιώντας το GHC. Generics (επαναυλοποίηση του Unbound).
- 55
- BSD 3-clause "New" or "Revised"