Readings on computational logic, interactive theorem proving and functional programming.
GitHub repository with 94 stars and 8 forks.
Topics: haskell, functional-programming, itp, isabelle-hol, coq, leanprover, prolog, logic, logic-programming
2026-06-04: 94 stars and 8 forks.
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
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
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
:ramen: A tasty Haskell web framework
GitHub repository with 2,406 stars and 164 forks.
Trending score: 0.55; stars gained: +1; forks gained: +0.
Language: Haskell
Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui
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
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
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
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
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
:ramen: A tasty Haskell web framework
GitHub repository with 2,406 stars and 164 forks.
Trending score: 0.55; stars gained: +1; forks gained: +0.
Language: Haskell
Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui
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
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