Librerie scritte in Haskell
api-tools
Un DSL integrato Haskell per la generazione di wrapper e documentazione JSON di un'API.
- 34
- BSD 3-clause "New" or "Revised"
svm
Una macchina vettoriale di supporto implementata in Haskell..
- 34
- GNU General Public License v3.0 only
elm-compiler
Compilatore per Elm, un linguaggio funzionale per webapp affidabili..
- 33
- BSD 3-clause "New" or "Revised"
smcdel
Un controllore di modelli simbolici per la logica epistemica dinamica.
- 33
- GNU General Public License v2.0 only
type-natural
Numeri naturali ben differenziati a livello di tipo..
- 33
- BSD 3-clause "New" or "Revised"
cardano-dex-contracts
Contratti intelligenti e specifica del protocollo AMM sulla blockchain di Cardano.
- 33
- Creative Commons Zero v1.0 Universal
ghc-events
Libreria e strumento per l'analisi dei file.eventlog da GHC.
- 33
- BSD 3-clause "New" or "Revised"
language-docker
Haskell Dockerfile parser, pretty-printer e EDSL.
- 33
- GNU General Public License v3.0 only