Librerie scritte in Haskell

wire-server

🇪🇺 Servizi di back-end cablati.
  • 2.6k
  • GNU Affero General Public License v3.0

yesod-persistent

Un framework web RESTful Haskell costruito su WAI..
  • 2.5k
  • MIT

wiwinwlh

Quello che vorrei sapere imparando Haskell.
  • 2.5k
  • GNU General Public License v3.0

hledger

Strumento di contabilità semplice, veloce e intuitivo con CLI, TUI e interfacce Web.
  • 2.4k
  • GNU General Public License v3.0 only

haskell-language-server

Supporto ufficiale haskell ide tramite server linguistico (LSP). Successore di ghcide e haskell-ide-engine..
  • 2.4k
  • Apache License 2.0

Agda

Agda è un linguaggio di programmazione tipizzato in modo dipendente / dimostratore di teoremi interattivo.
  • 2.2k

corrode

Traduttore da C a Rust.
  • 2.1k
  • GNU General Public License v3.0 only

futhark

:boom::computer::boom: Un linguaggio di programmazione funzionale parallelo ai dati.
  • 2.1k
  • ISC

miso

:ramen: un gustoso framework front-end Haskell.
  • 2.1k
  • BSD 3-clause "New" or "Revised"

Gitit

Un wiki che usa HAppS, pandoc e git.
  • 2.1k

binaryen

DEPRECATO a favore del backend ghc wasm, vedere https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc.
  • 2.0k
  • BSD 3-clause "New" or "Revised"

patat

Presentazioni basate su terminale utilizzando Pandoc.
  • 2.0k
  • GNU General Public License v2.0 only

hevm

Dapp, Seth, Hevm e altri.
  • 2.0k
  • GNU Affero General Public License v3.0 only

lens

Lenti, pieghe e attraversamenti - Unisciti a noi su web.libera.chat #haskell-lens (di ekmett).
  • 1.9k
  • GNU General Public License v3.0

lamdu

  • 1.8k
  • GNU General Public License v3.0 only

xdg-ninja

Uno script di shell che controlla $HOME per file e directory indesiderati..
  • 1.8k
  • MIT

servant

Repository principale per le librerie servant — DSL per descrivere, servire, interrogare, deridere, documentare applicazioni web e altro ancora!.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

erd

Traduce una descrizione in testo semplice di uno schema di database relazionale in un diagramma grafico entità-relazione.
  • 1.7k

wstunnel

Tunneling su protocollo websocket: binario statico disponibile.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

scotty

Framework web Haskell ispirato a Sinatra di Ruby, utilizzando WAI e Warp (Official Repository).
  • 1.6k
  • BSD 3-clause "New" or "Revised"

HLearn-algebra

Apprendimento automatico omomorfo.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

taskell

Gestore attività/board Kanban da riga di comando con supporto per board Trello e progetti GitHub.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

aur

Un gestore di pacchetti sicuro e multilingue per Arch Linux e AUR..
  • 1.6k
  • GNU General Public License v3.0 only

tensorflow

Associazioni Haskell per TensorFlow.
  • 1.5k

Cabal

Repository ufficiale di sviluppo upstream per Cabal e cabal-install.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

yi

L'editor con script Haskell.
  • 1.5k
  • GNU General Public License v2.0 only

dex-lang

Linguaggio di ricerca per l'elaborazione di array nella famiglia Haskell/ML.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

neuron

Prendere appunti e pubblicare a prova di futuro basati su Zettelkasten (sostituito da Emanote: https://github.com/srid/emanote).
  • 1.5k
  • GNU Affero General Public License v3.0 only

plutus

L'implementazione e gli strumenti del linguaggio Plutus.
  • 1.5k
  • Apache License 2.0

brick

Una libreria dichiarativa dell'interfaccia utente del terminale Unix scritta in Haskell.
  • 1.4k
  • BSD 3-clause "New" or "Revised"