ucsd-progsys/liquidhaskell

24h trend summary

Trending score 0.30, activity score 1.72, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 1,311 stars and 158 forks.

Similar repositories

1. 1. 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,022 stars and 40 forks.

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

   Language: Haskell

   Topics: haskell, logs, metrics, monitoring, observability, opentelemetry

2. 2. 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

3. 3. dmjio/miso

   :ramen: A tasty Haskell web framework

   GitHub repository with 2,407 stars and 164 forks.

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

   Language: Haskell

   Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui

4. 4. 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: arkham-horror, arkham-horror-lcg, backend, game, haskell, postgresql

5. 5. JacquesCarette/Drasil

   Generate all the things (focusing on research software)

   GitHub repository with 169 stars and 32 forks.

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

   Language: Haskell

   Topics: knowledge, scientific, haskell, haskell-language, dsl, documentation-generator

6. 6. 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

Trending in Haskell

1. 1. garnix-io/garnix-ci

   CI and hosting for nix-based, flakified github repos

   GitHub repository with 395 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,022 stars and 40 forks.

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

   Language: Haskell

   Topics: haskell, logs, metrics, monitoring, observability, opentelemetry

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. 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,022 stars and 40 forks.

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

   Language: Haskell

   Topics: haskell, logs, metrics, monitoring, observability, opentelemetry

2. 2. 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

3. 3. 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

4. 4. dmjio/miso

   :ramen: A tasty Haskell web framework

   GitHub repository with 2,407 stars and 164 forks.

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

   Language: Haskell

   Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui

5. 5. 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: arkham-horror, arkham-horror-lcg, backend, game, haskell, postgresql

6. 6. JacquesCarette/Drasil

   Generate all the things (focusing on research software)

   GitHub repository with 169 stars and 32 forks.

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

   Language: Haskell

   Topics: knowledge, scientific, haskell, haskell-language, dsl, documentation-generator