全部/科技/Haskell / 月榜

GitHub · Haskell / 月榜

13分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
1407
09/08—10/07 有历史数据
  • 014.7万
    pandoc
    Universal markup converterjgm
  • 024.0万
    shellcheck
    ShellCheck, a static analysis tool for shell scriptskoalaman
  • 031.2万
    hadolint
    Dockerfile linter, validate inline bash, written in Haskellhadolint
  • 041744
    cabal
    Official upstream development repository for Cabal and cabal-installhaskell
  • 052.8万
    postgrest
    REST API for any Postgres databasePostgREST
  • 062959
    haskell-language-server
    Official Haskell IDE support via the language server protocol (LSP)haskell
  • 072931
    agda
    Agda is a dependently typed programming language / interactive theorem prover.agda
  • 084077
    stack
    The Haskell Tool Stackcommercialhaskell
  • 09916
    daml
    The Daml smart contract languagedigital-asset
  • 107911
    compiler
    Compiler for Elm, a functional language for reliable webapps.elm
  • 113176
    cardano-node
    The core component that is used to participate in a Cardano decentralised blockchain.IntersectMBO
  • 12300
    onyx
    Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm gamesmtolly
  • 136743
    unison
    A friendly programming language from the futureunisonweb
  • 141889
    monoscope
    Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.monoscope-tech