Perpustakaan yang ditulis dalam Haskell
ghc-syntax-highlighter
Penyorot sintaks untuk Haskell menggunakan lexer dari GHC.
- 58
- BSD 3-clause "New" or "Revised"
Hayoo
Pustaka Haskell yang menyediakan blok bangunan dasar untuk membuat aplikasi pengindeksan dan pencarian yang kuat..
- 57
- MIT
moo
Pustaka algoritme genetika untuk Haskell. GAs biner dan kontinu (kode nyata). GAs biner: pengkodean biner dan abu-abu; mutasi titik; persilangan satu titik, dua titik, dan seragam. GA kontinyu: mutasi Gaussian; Crossover BLX-α, UNDX, dan SBX. Operator pemilihan: rolet, turnamen, dan pengambilan sampel universal stokastik (SUS); dengan relung, peringkat, dan penskalaan opsional. Strategi penggantian: generasi dengan elitisme dan kondisi mapan. Pengoptimalan terkendala: inisialisasi terkendala acak.
- 57
- BSD 3-clause "New" or "Revised"
essence-of-live-coding-gloss
Kerangka Kerja Pengodean Langsung Universal & Pemrograman Reaktif Fungsional.
- 57
- BSD 3-clause "New" or "Revised"
improve
Bahasa pemrograman penting di Haskell untuk aplikasi tersemat dengan jaminan tinggi. Program ImProve diverifikasi dengan pemeriksaan model. ImProve mengkompilasi ke C dan Simulink..
- 56
- BSD 3-clause "New" or "Revised"
type-errors-pretty
💄🐞 Penggabung untuk menulis kesalahan ketik cantik dengan mudah.
- 56
- Mozilla Public License 2.0
hackage-repo-tool
Kerangka kerja keamanan peretasan berdasarkan TUF (The Update Framework).
- 56
- BSD 3-clause "New" or "Revised"
cl3
Perpustakaan Haskell mengimplementasikan fungsi standar untuk Algebra of Physical Space Cl(3,0).
- 56
- BSD 3-clause "New" or "Revised"
unbound-generics
Tentukan pengikatan variabel dalam pohon sintaksis menggunakan GHC. Generics (implementasi ulang Unbound).
- 55
- BSD 3-clause "New" or "Revised"