FStarLang/pal
Proof Annotation Language: inline Pulse annotations for C
Is FStarLang/pal beginner-friendly?
In the last 30 days, FStarLang/pal merged 24 of 31 pull requests from outside contributors, and its maintainers usually reply within 1 day. No beginner-friendly issue is open right now; the list below has the other issues we hold for it.
- Stars
- 13
- Forks
- 3
- Open beginner issues
- 0
- Indexed issues
- 43
- Avg merge
- 20h 29m
- Merged PRs (30d)
- 24
- Dominant language
- Rust
- License
- Apache-2.0
- Last GitHub push
- Oct 15, 2026
- Latest indexed
- Sep 16, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
How to contribute to FStarLang/pal
- There is no contributing guide, so start from the README and a few recently merged pull requests to see how changes are proposed.
- The project ships a dev container: open it in Codespaces to get a working environment in your browser.
- Your contributions will be published under the project's Apache-2.0 license.
- Follow the repository to hear when a new beginner-friendly issue opens, or look through the other issues below.
Issues somebody may already be working on are listed last. List everything by date
-
Difficulty 3/5 Half a day Newbie friendliness 68/100
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 66/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 30/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 15/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
Maintainers usually reply within 1 day
-
palow
Difficulty 4/5 3-5 days Newbie friendliness 48/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 65/100
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 42/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
Maintainers usually reply within 1 day
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 58/100
Maintainers usually reply within 1 day
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 55/100
Maintainers usually reply within 1 day
-
bug
Difficulty 5/5 Over a week Newbie friendliness 45/100
Maintainers usually reply within 1 day
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 55/100
Maintainers usually reply within 1 day
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 68/100
Maintainers usually reply within 1 day
-
enhancement
Difficulty 3/5 1-2 days Newbie friendliness 64/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 52/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
FStarLang/pal#113 · 2 comments ·
Maintainers usually reply within 1 day
-
`switch` translator emits `brk := true;` outside the matching case, killing all subsequent armsOpen
Difficulty 3/5 1-2 days Newbie friendliness 72/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 50/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 30/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
Maintainers usually reply within 1 day
-
Internal error "Impossible: cycle detected after cycle detection has passed" when a pointer typedef is declared before its structPossibly taken @gebner claimed this 47 days ago. Open
Difficulty 4/5 3-5 days Newbie friendliness 68/100
Maintainers usually reply within 1 day
-
Function-pointer wrappers drop all pointee postconditions (and silently accept false `_old` contracts)Possibly taken @hei411 claimed this 54 days ago. Open
FStarLang/pal#279 · 1 assignee ·
Maintainers usually reply within 1 day
-
assert support breaks depending on the order of the includesPossibly taken @copilot-swe-agent claimed this 195 days ago. Open
FStarLang/pal#87 · 1 comment · 1 reaction · 1 assignee ·
Maintainers usually reply within 1 day