Librerie scritte in Haskell
kubernetes-client-core
Client Haskell per l'API Kubernetes. Un lavoro in corso. (dal client Kubernetes).
- 118
- Apache License 2.0
docopt
Un linguaggio di descrizione dell'interfaccia della riga di comando e un parser che ti farà sorridere.
- 116
- MIT
these
Un tipo di dati uno o entrambi, con il corrispondente trasformatore monade errore/scrittore ibrido.
- 115
- BSD 3-clause "New" or "Revised"
dear-imgui.hs
Collegamenti Haskell a Dear ImGui, un toolkit GUI in modalità immediata.
- 114
- BSD 3-clause "New" or "Revised"
hgeometry
HGeometry è una libreria per il calcolo con oggetti geometrici in Haskell. Definisce i tipi geometrici di base e le primitive e implementa alcune strutture di dati geometrici e algoritmi. I due obiettivi principali sono: (1) Forte sicurezza di tipo e (2) implementazioni di algoritmi geometrici e strutture di dati che hanno buone garanzie di tempo di esecuzione asintotico.
- 114
- BSD 3-clause "New" or "Revised"
liquid-fixpoint
Risoluzione dei vincoli della clausola Horn per i tipi liquidi.
- 113
- BSD 3-clause "New" or "Revised"
primitive
Questo pacchetto fornisce varie operazioni relative alla memoria primitiva. (di Haskell).
- 112
- BSD 3-clause "New" or "Revised"
algebra-driven-design
Materiale di partenza per Algebra-Driven Design.
- 112
- BSD 3-clause "New" or "Revised"