語言 · Haskell
Haskell
以 Haskell 為主要語言、收錄中的開源專案，依星數排序。
共 154 個專案
- #91streamly@composewell
Haskell 中的高效能、串流與並行函數式程式設計
★ 922+0近 7 天星數變化 - #92swarm@swarm-game
資源採集與程式設計遊戲
★ 917+1近 7 天星數變化 - #93conduit@snoyberg
串流資料函式庫
★ 914+0近 7 天星數變化 - #94daml@digital-asset
Daml 智慧合約語言
★ 914+1近 7 天星數變化 - #95espial@jonschoning
Espial 是一個開源的網頁版書籤伺服器。
★ 913+2近 7 天星數變化 - #96bench@Gabriella439
命令列效能評測工具
★ 910+1近 7 天星數變化 - #97parsec@haskell
一個單子（monad）解析器組合子函式庫
★ 894+1近 7 天星數變化 - #98kip@kip-dili
一種土耳其語程式語言，其中格位和語氣是型別系統的一部分。
★ 880+2近 7 天星數變化 - #99wai@yesodweb
Haskell 網頁應用程式介面
★ 878+1近 7 天星數變化 - #100tip-toi-reveng@entropia
試著理解 Tip Toi 的檔案格式
★ 874+2近 7 天星數變化 - #101rio@commercialhaskell
Haskell 的標準函式庫
★ 867+1近 7 天星數變化 - #102simplexmq@simplex-chat
⚙️ SimpleXMQ - 針對公用網路單向佇列的 SimpleX 訊息傳遞協定參考實作。
★ 847+4近 7 天星數變化 - #103copilot@Copilot-Language
基於串流的執行階段驗證框架，用於產生硬即時（hard real-time）C 程式碼。
★ 833+1近 7 天星數變化 - #104cardano-wallet@cardano-foundation
用於管理 Cardano 中 UTxO 與 HD 錢包的 HTTP 伺服器與命令列工具。
★ 821+1近 7 天星數變化 - #105hoogle@ndmitchell
Haskell API 搜尋引擎
★ 803+2近 7 天星數變化 - #106shake@ndmitchell
Shake 建構系統
★ 802+1近 7 天星數變化 - #107elaboration-zoo@AndrasKovacs
依賴型別檢查與推導的最小化實作。
★ 795+1近 7 天星數變化 - #108quickcheck@nick8325
Haskell 程式的自動化測試
★ 785+0近 7 天星數變化 - #109hspec@hspec
一個 Haskell 的測試框架
★ 785+1近 7 天星數變化 - #110Perspec@ad-si
可編程的桌面應用程式，用於校正圖片透視
★ 780+22近 7 天星數變化 - #111crucible@GaloisInc
Crucible 是一個用於指令式程式符號模擬的函式庫
★ 774-1近 7 天星數變化 - #112MicroHs@augustss
使用組合子實現的 Haskell
★ 772+1近 7 天星數變化 - #113alga@snowleopard
代數圖論圖形庫
★ 761+0近 7 天星數變化 - #114distributed-process@haskell-distributed
Cloud Haskell 核心函式庫
★ 750+0近 7 天星數變化 - #115sv2v@zachjs
SystemVerilog 轉 Verilog 轉換
★ 749+1近 7 天星數變化 - #116cgrep@awgn
Cgrep：一個針對原始碼具備上下文意識的 grep 工具
★ 744+0近 7 天星數變化 - #117relude@kowainik
🌀 安全、高效能、使用者友善且輕量化的 Haskell 標準函式庫
★ 742+0近 7 天星數變化 - #118granule@granule-project
具備分級模態類型的靜態型別線性函數式語言，可用於細緻的程式推導
★ 732+1近 7 天星數變化 - #119hstream@hstreamdb
HStreamDB 是一個用於物聯網及其他領域的開源雲原生串流資料庫。為即時應用程式現代化您的資料堆疊。
★ 722+0近 7 天星數變化 - #120taffybar@taffybar
為 XMonad 等平鋪式視窗管理員設計的基於 GTK 的狀態列。
★ 713+0近 7 天星數變化
