pikajude/th-printf

Compile-time checked printf

GitHub repository with 14 stars and 4 forks.

Language: Haskell

Topics: haskell, printf

Open provider repository

Latest metric snapshot

2026-06-05: 14 stars and 4 forks.

Similar repositories

  1. 1. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  2. 2. halogenandtoast/ArkhamHorror

    An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

    GitHub repository with 365 stars and 116 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +2.

    Language: Haskell

    Topics: haskell, vuejs, postgresql, sockets, arkham-horror, arkham-horror-lcg

  3. 3. ucsd-progsys/liquidhaskell

    Liquid Types For Haskell

    GitHub repository with 1,311 stars and 158 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: haskell, refinement-types, smt, verification

  4. 4. neohaskell/NeoHaskell

    ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

    GitHub repository with 346 stars and 11 forks.

    Trending score: 0.24; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: ai, beginner-friendly, command-line, concurrency, developer-experience, domain-driven-design

  5. 5. jtdaugherty/vty

    A high-level ncurses alternative written in Haskell

    GitHub repository with 335 stars and 57 forks.

    Trending score: 0.23; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: tui, ui, haskell

  6. 6. Bodigrim/linear-builder

    Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

    GitHub repository with 99 stars and 4 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: buffer, builder, concatenation, haskell, linear-types, strict-types

Trending in Haskell

  1. 1. garnix-io/garnix-ci

    CI and hosting for nix-based, flakified github repos

    GitHub repository with 394 stars and 40 forks.

    Trending score: 2.05; stars gained: +10; forks gained: +1.

    Language: Haskell

  2. 2. monoscope-tech/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.

    GitHub repository with 1,021 stars and 40 forks.

    Trending score: 1.37; stars gained: +19; forks gained: +2.

    Language: Haskell

  3. 3. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  4. 4. hadolint/hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    GitHub repository with 12,181 stars and 493 forks.

    Trending score: 0.69; stars gained: +4; forks gained: +0.

    Language: Haskell

  5. 5. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

  6. 6. DataHaskell/dataframe

    A fast, safe, and intuitive DataFrame library.

    GitHub repository with 249 stars and 46 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +0.

    Language: Haskell

    Topics: dataframe, exploratory-data-analysis, functional-programming

Trending topic: haskell

  1. 1. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  2. 2. harmont-dev/hsrs

    Type-safe Haskell Rust Bindings

    GitHub repository with 74 stars and 1 forks.

    Trending score: 0.82; stars gained: +1; forks gained: +0.

    Language: Rust

    Topics: bindgen, binding-generator, bindings, borsh, cabal, cargo

  3. 3. halogenandtoast/ArkhamHorror

    An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

    GitHub repository with 365 stars and 116 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +2.

    Language: Haskell

    Topics: haskell, vuejs, postgresql, sockets, arkham-horror, arkham-horror-lcg

  4. 4. ucsd-progsys/liquidhaskell

    Liquid Types For Haskell

    GitHub repository with 1,311 stars and 158 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: haskell, refinement-types, smt, verification

  5. 5. neohaskell/NeoHaskell

    ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

    GitHub repository with 346 stars and 11 forks.

    Trending score: 0.24; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: ai, beginner-friendly, command-line, concurrency, developer-experience, domain-driven-design

  6. 6. jtdaugherty/vty

    A high-level ncurses alternative written in Haskell

    GitHub repository with 335 stars and 57 forks.

    Trending score: 0.23; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: tui, ui, haskell