Librerie scritte in Haskell
purescript-native
Un backend del compilatore nativo per PureScript (tramite C++ o Golang).
- 606
- BSD 3-clause "New" or "Revised"
reach-lang
Reach: il linguaggio di programmazione DApp più sicuro e intelligente.
- 584
- Apache License 2.0
LambdaHack
Libreria del motore di gioco Haskell per dungeon crawler roguelike; si prega di offrire un feedback, ad esempio dopo aver provato il gioco di esempio con il frontend Web all'indirizzo.
- 580
- BSD 3-clause "New" or "Revised"
Perspec
App desktop con script per correggere la prospettiva delle immagini.
- 545
- GNU Affero General Public License v3.0
reactive-banana
Libreria per la programmazione reattiva funzionale in Haskell..
- 512
- BSD 3-clause "New" or "Revised"
granule
Un linguaggio funzionale lineare tipizzato staticamente con tipi modali graduati per un ragionamento del programma a grana fine.
- 511
- BSD 3-clause "New" or "Revised"
copilot
Un framework di verifica del runtime basato sul flusso per la generazione di codice C in tempo reale.
- 510
- GNU General Public License v3.0
pi-forall
Un'implementazione demo di un semplice linguaggio tipizzato in modo dipendente.
- 506
- BSD 3-clause "New" or "Revised"
stgi
Un'implementazione visiva STG incentrata sull'utente per aiutare a comprendere il modello di esecuzione di GHC/Haskell.
- 502
- BSD 3-clause "New" or "Revised"
attoparsec
Una libreria Haskell veloce per l'analisi di ByteStrings.
- 497
- BSD 3-clause "New" or "Revised"
haskell-code-explorer
Applicazione Web per esplorare e comprendere le basi di codice Haskell.
- 497
- MIT
monomer
Una libreria GUI multipiattaforma facile da usare per la scrittura di applicazioni Haskell.
- 494
- BSD 3-clause "New" or "Revised"
elaboration-zoo
Implementazioni minime per il controllo e l'elaborazione del tipo dipendente.
- 490
- BSD 3-clause "New" or "Revised"
criterion
Una libreria potente ma semplice per misurare le prestazioni del codice Haskell. (di Haskell).
- 489
- BSD 3-clause "New" or "Revised"