A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

Haskell good first issues

61 open Haskell issues currently match the default 10+ star filter. Scored difficulty: 5,947 at 1/5, 8,791 at 2/5, 12,710 at 3/5, 12,148 at 4/5, 859 at 5/5. This hub uses the same feed as the homepage, limited to repositories whose GitHub language is Haskell.

All languages · Browse projects · How to find good first issues

Active filters:Language: Haskell • Stars: 10+ Stars
Filters trigger API requests for better performance

Showing 30 of 61 opportunities to contribute from the last 38 days

AI Summary: The current implementation of `dataize` in `src/Dataize.hs` only supports 3 out of 12 primitive EO atoms, specifically `L_number_plus`, `L_number_times`, and `L_number_eq`. This limitation prevents the evaluation of common EO expressions involving division, comparisons, or byte manipulation, hindering its use as a compile-time evaluator. The suggested fix is to implement the remaining 9 missing atoms by mirroring their Java counterparts' semantics.

Complexity:3/5
enhancementhelp wanted

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Haskell
#code-analysis#command-line-tool#eolang#formalization#haskell#normalization#phi-calculus

AI Summary: The `//` operator in the Gren language produces different results depending on whether it's inlined or called as a function. When inlined, the result is truncated to 32 bits due to a `(a / b) | 0` operation, while the function call uses `Math.trunc` which handles larger numbers correctly. This discrepancy was introduced when `Math.trunc` was updated and the code generator was not synchronized.

Complexity:3/5
buggood first issue

Compiler for the Gren programming language

Haskell

AI Summary: This issue proposes to refactor the project's Cabal file and default settings. The current configuration has illogical warning and language flags enabled or disabled globally, lacking a clear structure. The goal is to organize the Cabal file and establish more sensible default settings.

Complexity:3/5
enhancementhelp wanted

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Haskell
enhancementgood first issue

🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell

Haskell
#brainfuck#brainfuck-interpreter#eso-interpreter#esoteric-interpreter#eta#fake#false#funge#helvm#malbolge#piet#piet-interpreter#subleq#whitespace#whitespace-interpreter

AI Summary: When a user attempts to run `hdb` with a non-existent Haskell file, the tool currently fails with an unhelpful error related to `ghc --numeric-version`. The issue proposes that `hdb` should first check if the target file exists and provide a more graceful, informative error message if it doesn't.

Complexity:2/5
help wantednewcomer 🌱

A modern step-through debugger for GHC Haskell

Haskell
Marketing7d ago
good first issue

Static import-graph analyzer for TypeScript. You write architecture rules in YAML, Deslop checks them on every run. No AI and no heuristics — it walks the import graph, so the same code always produces the same result.

Haskell
#architecture#dependency-graph#import-graph#javascript#static-analysis#typescript

AI Summary: This issue proposes adding a version message to event logs emitted by ghc-stack-profiler. This would allow newer versions of ghc-stack-profiler-speedscope to detect and handle incompatible older event logs gracefully, preventing crashes or ignored messages and improving user experience. The version message should be emitted once at the start of event logging.

Complexity:2/5
good first issue

A profiler which samples the RTS callstack

Haskell

AI Summary: This issue proposes integrating Dependabot into the project to automate the updating of GitHub Actions dependencies. The goal is to have Dependabot check for and create pull requests for these updates on a weekly basis, specifically every Friday. This aims to streamline dependency management for GitHub Actions.

Complexity:2/5
good first issue

Static import-graph analyzer for TypeScript. You write architecture rules in YAML, Deslop checks them on every run. No AI and no heuristics — it walks the import graph, so the same code always produces the same result.

Haskell
#architecture#dependency-graph#import-graph#javascript#static-analysis#typescript

AI Summary: This issue proposes optimizing the `Flora.Domain.Category.Normalise` function by replacing a linear time complexity `List.find` operation with a more efficient `Map` data structure. This change aims to improve the performance of category normalization.

Complexity:2/5
good first issueperformance

A package index for the Haskell ecosystem

Haskell
#hackage#haskell#package-management

AI Summary: This issue proposes removing the `colourista` dependency from the project. The current usage of `colourista` is limited to displaying blue/red messages during executable startup, and the suggestion is to "vendor" these specific functionalities instead of relying on the external library.

Complexity:2/5
good first issue

A package index for the Haskell ecosystem

Haskell
#hackage#haskell#package-management

AI Summary: This issue proposes removing the `iso8601-time` library dependency. The functionality it provides, specifically `parseISO8601`, is already available through the `time` library's `iso8601ParseM` function, making the extra dependency redundant.

Complexity:1/5
good first issue

A package index for the Haskell ecosystem

Haskell
#hackage#haskell#package-management

AI Summary: This issue announces a new process for shipping software via ghcup, allowing developers to add their tools without direct maintainer involvement. The linked documentation provides instructions on how to add new tools to ghcup.

Complexity:2/5
help wanted

A modern step-through debugger for GHC Haskell

Haskell

AI Summary: This issue proposes expanding the `blockio` tests to ensure comprehensive coverage of the `FreeBSD` backend, as current tests are insufficient. The goal is to exercise all parts of the `FreeBSD` `blockio` API, which will also benefit future backend implementations. While existing Linux, macOS, and Windows `blockio` backends are indirectly well-tested, this enhancement will still provide value.

Complexity:3/5
enhancementgood first issueblockiopriority: medium

A Haskell library for on-disk tables based on LSM-Trees

Haskell
#database#haskell

AI Summary: This bug report highlights that while `SnapshotCorruptedError` is publicly available, its underlying error types (`FileCorruptedError`, `FileFormat`) are not. The suggested solution involves creating new public-facing error types in `Database.LSMTree` and `Database.LSMTree.Simple` that wrap the internal error details, making the full error hierarchy accessible.

Complexity:2/5
buggood first issuelsm-treepriority: medium

A Haskell library for on-disk tables based on LSM-Trees

Haskell
#database#haskell

AI Summary: The current pull request benchmark is producing unreliable and noisy results, often causing builds to fail unnecessarily. The team needs to either improve the accuracy of the benchmark or remove it entirely.

Complexity:3/5
buggood first issuehelp wantedgood-title

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Haskell
#code-analysis#command-line-tool#eolang#formalization#haskell#normalization#phi-calculus

AI Summary: The `rejectLowDeposits` function has a performance issue, exhibiting O(n²) complexity due to nested `List.find` operations. This can be optimized to O(n) by zipping the relevant lists once, improving efficiency for potentially large numbers of inputs.

Complexity:3/5
good first issueclaude

Implementation of the Hydra Head protocol

Haskell
#blockchain#cardano#haskell#plutus#scalability

AI Summary: This issue proposes to upstream a Haskell function `currentlyValid` from the CircuitHub codebase. This function checks if a given time range is currently valid based on the current timestamp. The goal is to make this useful functionality available for broader use.

Complexity:2/5
enhancementhelp wantednice to have

Hey! Hey! Can u rel8?

Haskell
#dsl#haskell#postgresql#sql
type: enhancementtype: uxpriority: wishlisthelp wantedgood first issuestale

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

Haskell
#open-source-licensing#open-source-vulnerabilities

Also browsing: Python , TypeScript , JavaScript