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.

Apply free for OSS

F# good first issues

28 open F# 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 F#.

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

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

Showing 30 of 28 opportunities to contribute from the last 188 days

Support .SSC chart format1mo ago

AI Summary: This issue proposes adding support for the .ssc chart format, which is used by some StepMania packs. The initial implementation should focus on supporting the same data as the existing .sm format, with advanced .ssc features to be added later. The work involves refactoring existing .sm import code and then building .ssc support on top of it.

Complexity:3/5
for: usershelp wantedtype: featurepeople: expert
YAVSRG/YAVSRG
90

Home of Interlude, the most based keyboard rhythm game

F#
#fsharp#game#gamedev#interlude#keyboard#music#opengl#opentk#osu#osu-mania#osumania#rhythm-game#rhythm-games#stepmania#vsrg
Import scores from Etterna1mo ago

AI Summary: This issue proposes adding the ability to import scores from Etterna, similar to how scores from osu! can already be imported. The request is popular among users, and some past progress has been made, though more information is needed to consolidate efforts.

Complexity:3/5
for: userspeople: anyonehelp wantedtype: featureneeds: info
YAVSRG/YAVSRG
90

Home of Interlude, the most based keyboard rhythm game

F#
#fsharp#game#gamedev#interlude#keyboard#music#opengl#opentk#osu#osu-mania#osumania#rhythm-game#rhythm-games#stepmania#vsrg
Print output as MD1mo ago
help wantedgood first issueprettyprinting
0xGeorgii/SharpLogic
14

Open source F# mathematical logic library.

F#
#automate-inference#automate-reasoning#automate-teorem-proofs#dotnet#formula#fsharp#intuitionistic-logic#logic#mathematics#propositional-logic
Allow users to import using native file dialogs4mo ago

AI Summary: This issue proposes adding native file dialog support to the game, replacing the current file-dropping mechanism for importing and library linking. The goal is to improve user convenience by allowing them to browse and select files/folders through a standard operating system interface. The developer is considering using the NativeFileDialogSharp library and needs to investigate its integration, potential threading issues, and implementation details.

Complexity:3/5
for: usershelp wantedpeople: percyqaztype: feature
YAVSRG/YAVSRG
90

Home of Interlude, the most based keyboard rhythm game

F#
#fsharp#game#gamedev#interlude#keyboard#music#opengl#opentk#osu#osu-mania#osumania#rhythm-game#rhythm-games#stepmania#vsrg
Duplicate Code: Single-Arg DU Function Pattern in DUCasesGenerator6mo ago

AI Summary: This issue identifies significant code duplication within the `DUCasesGenerator.fs` file. Four functions (`createToString`, `createFromString`, `createToTag`, `createIsCase`) each contain three identical code blocks for building function bindings, qualified case identifiers, and `matchOn` expressions. This duplication totals approximately 48 lines of near-identical code.

Complexity:2/5
enhancementhelp wanted
MoiraeSoftware/Myriad
374

Myriad is a code generator for F#

F#
#codegenerator#fsharp

Also browsing: Python , TypeScript , JavaScript