Perpustakaan yang ditulis dalam Haskell

wire-server

🇪🇺 Layanan back-end kawat.
  • 2.6k
  • GNU Affero General Public License v3.0

yesod-persistent

Kerangka kerja web Haskell yang RESTful dibangun di atas WAI..
  • 2.5k
  • MIT

wiwinwlh

Apa yang Saya Ingin Saya Ketahui Saat Belajar Haskell.
  • 2.5k
  • GNU General Public License v3.0

hledger

Alat akuntansi teks biasa yang kuat, cepat, dan intuitif dengan CLI, TUI, dan antarmuka web..
  • 2.4k
  • GNU General Public License v3.0 only

haskell-language-server

Dukungan haskell ide resmi melalui server bahasa (LSP). Penerus ghcide & haskell-ide-engine..
  • 2.4k
  • Apache License 2.0

Agda

Agda adalah bahasa pemrograman yang diketik secara dependen / pembukti teorema interaktif..
  • 2.2k

corrode

Penerjemah C ke Rust.
  • 2.1k
  • GNU General Public License v3.0 only

futhark

:boom::computer::boom: Bahasa pemrograman fungsional paralel data.
  • 2.1k
  • ISC

miso

:ramen: Framework front-end Haskell yang enak.
  • 2.1k
  • BSD 3-clause "New" or "Revised"

Gitit

Sebuah wiki menggunakan HAppS, pandoc, dan git.
  • 2.1k

binaryen

TIDAK DIGUNAKAN LAGI demi ghc wasm backend, lihat https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc.
  • 2.0k
  • BSD 3-clause "New" or "Revised"

patat

Presentasi berbasis terminal menggunakan Pandoc.
  • 2.0k
  • GNU General Public License v2.0 only

hevm

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

lens

Lensa, Lipatan, dan Traversal - Bergabunglah dengan kami di web.libera.chat #haskell-lens (oleh ekmett).
  • 1.9k
  • GNU General Public License v3.0

lamdu

lamdu - menuju IDE generasi berikutnya.
  • 1.8k
  • GNU General Public License v3.0 only

xdg-ninja

Skrip shell yang memeriksa $HOME Anda untuk file dan direktori yang tidak diinginkan..
  • 1.8k
  • MIT

servant

Repositori utama untuk pustaka pelayan — DSL untuk mendeskripsikan, menyajikan, membuat kueri, mengejek, mendokumentasikan aplikasi web, dan banyak lagi!.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

erd

Menerjemahkan deskripsi teks biasa dari skema basis data relasional ke diagram hubungan entitas grafis..
  • 1.7k

wstunnel

Tunneling melalui protokol websocket - Tersedia biner statis.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

scotty

Kerangka web Haskell terinspirasi oleh Sinatra Ruby, menggunakan WAI dan Warp (Repositori Resmi).
  • 1.6k
  • BSD 3-clause "New" or "Revised"

HLearn-algebra

Pembelajaran mesin homomorfik.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

taskell

Papan Kanban baris perintah/pengelola tugas dengan dukungan untuk papan Trello dan proyek GitHub.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

aur

Manajer paket multibahasa yang aman untuk Arch Linux dan AUR..
  • 1.6k
  • GNU General Public License v3.0 only

tensorflow

Binding Haskell untuk TensorFlow.
  • 1.5k

Cabal

Repositori pengembangan upstream resmi untuk Cabal dan cabal-install.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

yi

Editor Haskell-Scriptable.
  • 1.5k
  • GNU General Public License v2.0 only

dex-lang

Bahasa penelitian untuk pemrosesan array dalam keluarga Haskell/ML.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

neuron

Pencatatan dan penerbitan bukti masa depan berdasarkan Zettelkasten (digantikan oleh Emanote: https://github.com/srid/emanote).
  • 1.5k
  • GNU Affero General Public License v3.0 only

plutus

Implementasi dan alat bahasa Plutus.
  • 1.5k
  • Apache License 2.0

brick

Pustaka UI terminal Unix deklaratif yang ditulis dalam Haskell.
  • 1.4k
  • BSD 3-clause "New" or "Revised"