Haskell
Repositori open source terpantau dengan Haskell sebagai bahasa utama, diurutkan berdasarkan bintang.
- #1pandoc@jgm
Konverter markup universal
★ 46.045+84Perubahan bintang dalam 7 hari terakhir - #2shellcheck@koalaman
ShellCheck, alat analisis statis untuk skrip shell.
★ 39.946+41Perubahan bintang dalam 7 hari terakhir - #3postgrest@PostgREST
REST API untuk database Postgres apa pun
★ 27.630+15Perubahan bintang dalam 7 hari terakhir - #4simplex-chat@simplex-chat
SimpleX - jaringan pesan pertama yang beroperasi tanpa pengenal pengguna dalam bentuk apa pun - 100% privat secara desain! Tersedia untuk iOS, Android, dan desktop 📱!
★ 19.326+39Perubahan bintang dalam 7 hari terakhir - #5hadolint@hadolint
Linter Dockerfile, memvalidasi bash inline, ditulis dalam Haskell
★ 12.379+13Perubahan bintang dalam 7 hari terakhir - #6purescript@purescript
Bahasa ber-tipe kuat (strongly-typed) yang dikompilasi ke JavaScript
★ 8.902+3Perubahan bintang dalam 7 hari terakhir - #7compiler@elm
Kompiler untuk Elm, bahasa fungsional untuk webapp yang andal.
★ 7.894+6Perubahan bintang dalam 7 hari terakhir - #8unison@unisonweb
A friendly programming language from the future
★ 6.720+8Perubahan bintang dalam 7 hari terakhir - #9Carp@carp-lang
Lisp berketik statis, tanpa GC, untuk aplikasi waktu nyata.
★ 6.018+5Perubahan bintang dalam 7 hari terakhir - #10ihp@digitallyinduced
🔥 Cara tercepat untuk membangun aplikasi web yang aman terhadap tipe. IHP adalah kerangka kerja web baru yang lengkap dan dioptimalkan untuk produktivitas jangka panjang serta kepuasan programmer
★ 5.345+3Perubahan bintang dalam 7 hari terakhir - #11kmonad@kmonad
Manajer papan ketik tingkat lanjut.
★ 5.057+2Perubahan bintang dalam 7 hari terakhir - #12hledger@plaintextaccounting
Alat akuntansi teks biasa yang tangguh, cepat, dan intuitif dengan antarmuka CLI, TUI, dan web.
★ 4.677+17Perubahan bintang dalam 7 hari terakhir - #13Haxl@facebook
Pustaka Haskell yang menyederhanakan akses ke data jarak jauh, seperti basis data atau layanan berbasis web.
★ 4.377+1Perubahan bintang dalam 7 hari terakhir - #14duckling@facebook
Bahasa, mesin, dan alat untuk mengekspresikan, menguji, dan mengevaluasi aturan bahasa yang dapat disusun pada string input.
★ 4.315+7Perubahan bintang dalam 7 hari terakhir - #15fp-course@system-f
Kursus Pemrograman Fungsional.
★ 4.243+3Perubahan bintang dalam 7 hari terakhir - #16stack@commercialhaskell
Stack Alat Haskell
★ 4.078+1Perubahan bintang dalam 7 hari terakhir - #17Kind@HigherOrderCO
Bahasa pembuktian modern
★ 3.764-1Perubahan bintang dalam 7 hari terakhir - #18xmonad@xmonad
Inti dari xmonad, pengelola jendela ubin (tiling window manager) yang kecil namun fungsional dan kompatibel dengan ICCCM
★ 3.585+2Perubahan bintang dalam 7 hari terakhir - #19xdg-ninja@b3nj5m1n
Skrip shell yang memeriksa direktori $HOME Anda untuk file dan direktori yang tidak diinginkan.
★ 3.362+6Perubahan bintang dalam 7 hari terakhir - #20ghc@ghc
Mirror dari Glasgow Haskell Compiler. Harap kirimkan issue dan patch ke instance Gitlab GHC (https://gitlab.haskell.org/ghc/ghc). Kontributor baru disarankan untuk memulai dengan informasi pendatang baru (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
★ 3.274-1Perubahan bintang dalam 7 hari terakhir - #21Simula@SimulaVR
Desktop VR Linux
★ 3.202+0Perubahan bintang dalam 7 hari terakhir - #22cardano-node@IntersectMBO
Komponen inti yang digunakan untuk berpartisipasi dalam blockchain terdesentralisasi Cardano.
★ 3.177+1Perubahan bintang dalam 7 hari terakhir - #23echidna@crytic
Fuzzer smart contract Ethereum
★ 3.173+2Perubahan bintang dalam 7 hari terakhir - #24haskell-language-server@haskell
Dukungan IDE Haskell resmi melalui language server protocol (LSP)
★ 2.953+1Perubahan bintang dalam 7 hari terakhir - #25agda@agda
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.919+5Perubahan bintang dalam 7 hari terakhir - #26hakyll@jaspervdj
Pustaka kompilator situs web statis dalam Haskell
★ 2.870+4Perubahan bintang dalam 7 hari terakhir - #27futhark@diku-dk
Bahasa pemrograman fungsional data-parallel
★ 2.793+1Perubahan bintang dalam 7 hari terakhir - #28wire-server@wireapp
🇪🇺 Layanan back-end Wire
★ 2.782+0Perubahan bintang dalam 7 hari terakhir - #29patat@jaspervdj
Presentasi berbasis terminal menggunakan Pandoc
★ 2.740-1Perubahan bintang dalam 7 hari terakhir - #30yesod@yesodweb
Kerangka kerja web Haskell RESTful yang dibangun di atas WAI.
★ 2.722+0Perubahan bintang dalam 7 hari terakhir
