FStarLang/karamel

Issues somebody may already be working on are listed last. List everything by date

• Strings containing UTF-8 characters are translated incorrectly

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 72/100

  FStarLang/karamel#784 · 1 comment · Opened Oct 14, 2026

  Maintainers usually reply within 1 day

• krml crashes with `Failure("nth")` on `Pulse.Lib.Task`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 22/100

  FStarLang/karamel#781 · 5 comments · Opened Oct 13, 2026

  Maintainers usually reply within 1 day

• krmllib/Makefile passes --cmi, removed from F* in #4107

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 92/100

  FStarLang/karamel#757 · 1 comment · Opened Sep 13, 2026

  Maintainers usually reply within 1 day

• Non-const `static` variables in headers

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 1/5 Under an hour Newbie friendliness 88/100

  FStarLang/karamel#729 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• MSVC `gte_mask` optimized SSE path is disabled (and the disabled code is buggy)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 1/5 Under an hour Newbie friendliness 85/100

  FStarLang/karamel#728 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• Latent UB in `FStar_UInt128_add_u64_shift_left/right` when `s=0`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 2/5 1-3 hours Newbie friendliness 74/100

  FStarLang/karamel#727 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• Document that absolutely no guarantees are made for anything involving non-Low* types

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 2/5 1-3 hours Newbie friendliness 55/100

  FStarLang/karamel#726 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• Missing 16-bit byte-swap definitions in generic endianness fallbacks

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 2/5 1-3 hours Newbie friendliness 78/100

  FStarLang/karamel#725 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• Syntax error in MSVC `add_underspec` (missing closing parenthesis)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 1/5 Under an hour Newbie friendliness 92/100

  FStarLang/karamel#724 · Opened Apr 7, 2026

  Maintainers usually reply within 1 day

• [DeepTest] All-erased record type crashes Karamel during extraction

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ai-generated needs triaging

  Difficulty 3/5 1-2 days Newbie friendliness 55/100

  FStarLang/karamel#712 · 1 comment · Opened Mar 31, 2026

  Maintainers usually reply within 1 day

• -fparentheses should parenthesize & and >>

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 42/100

  FStarLang/karamel#648 · Opened Aug 29, 2025

  Maintainers usually reply within 1 day

• Checker.ml raises error for empty EBufCreateL in [infer'] but not in [check']

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#627 · 4 comments · Opened Jul 17, 2025

  Maintainers usually reply within 1 day

• Introduction.rst claims to be literate F*

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 48/100

  FStarLang/karamel#607 · 2 comments · Opened May 22, 2025

  Maintainers usually reply within 1 day

• Dependencies in karamel.opam seem quite out of date

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  FStarLang/karamel#592 · 2 comments · Opened Apr 25, 2025

  Maintainers usually reply within 1 day

• Deeply nested conditionals and branch polarity flips

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#591 · 1 comment · Opened Apr 24, 2025

  Maintainers usually reply within 1 day

• Consider renaming the internal headers

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 30/100

  FStarLang/karamel#546 · Opened Mar 4, 2025

  Maintainers usually reply within 1 day

• Rust: support for std::option without monomorphization? (and possibly more)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 30/100

  FStarLang/karamel#541 · 1 comment · Opened Feb 19, 2025

  Maintainers usually reply within 1 day

• Rust: support for interface bundles?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#540 · 3 comments · Opened Feb 19, 2025

  Maintainers usually reply within 1 day

• control stack memory allocation

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  FStarLang/karamel#521 · 2 comments · Opened Jan 10, 2025

  Maintainers usually reply within 1 day

• Specify functions that must extract?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  FStarLang/karamel#482 · 3 comments · Opened Sep 12, 2024

  Maintainers usually reply within 1 day

• generated Makefile.basic exe target needs .o's

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 48/100

  FStarLang/karamel#461 · 4 comments · Opened Aug 16, 2024

  Maintainers usually reply within 1 day

• make tests won't link: dist/libbignum.a goes last

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 55/100

  FStarLang/karamel#456 · Opened Aug 2, 2024

  Maintainers usually reply within 1 day

• karamel/test README.md out of date, wants rust

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 52/100

  FStarLang/karamel#455 · Opened Aug 1, 2024

  Maintainers usually reply within 1 day

• karamel/Makefile test and test/Makefile

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 42/100

  FStarLang/karamel#454 · Opened Aug 1, 2024

  Maintainers usually reply within 1 day

• Fatal error: exception Failure("[mk_expr m]: op should've been caught")

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#445 · 2 comments · Opened Jul 14, 2024

  Maintainers usually reply within 1 day

• Can't get karamel nix flake to work

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 30/100

  FStarLang/karamel#338 · 8 comments · Opened Mar 21, 2023

  Maintainers usually reply within 1 day

• krml redeclares variables in adjacent #if branches

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  FStarLang/karamel#293 · Opened Oct 4, 2022

  Maintainers usually reply within 1 day

• Bad interaction between unused variable elimination and "let x = if ... in" hoisting

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#291 · 1 comment · Opened Sep 23, 2022

  Maintainers usually reply within 1 day

• Simplify Steel.ST.Reference.with_local without EPushFrame/EPopFrame

  May be free again @tahina-pro claimed this 1533 days ago, and no pull request is open. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  FStarLang/karamel#276 · 1 assignee · Opened Aug 3, 2022

  Maintainers usually reply within 1 day

• A bug in variable merging.

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  FStarLang/karamel#216 · 1 comment · Opened Nov 26, 2021

  Maintainers usually reply within 1 day

• Check stack memory allocation

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#209 · 3 comments · Opened May 30, 2021

  Maintainers usually reply within 1 day

• Unit buffer elimination breaks type unification when combined with buffer built-ins

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#208 · Opened May 20, 2021

  Maintainers usually reply within 1 day

• Build fails on native Apple M1 + macOS toolchain

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 28/100

  FStarLang/karamel#205 · 3 comments · Opened Mar 17, 2021

  Maintainers usually reply within 1 day

• StackInline not inlined at extraction

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  FStarLang/karamel#187 · Opened Aug 12, 2020

  Maintainers usually reply within 1 day

• Unused argument elimination discards required field

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#183 · 1 comment · Opened Jul 22, 2020

  Maintainers usually reply within 1 day

• WasmSupport.c:21: undefined reference to `WasmSupport_trap'

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  FStarLang/karamel#174 · 3 comments · Opened Mar 11, 2020

  Maintainers usually reply within 1 day

• Unnecessary parameter renaming

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#172 · Opened Feb 21, 2020

  Maintainers usually reply within 1 day

• Kremlin inlining issue

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  FStarLang/karamel#171 · Opened Feb 21, 2020

  Maintainers usually reply within 1 day

• Warning 8 is incorrect if the function is covered by static-header

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  FStarLang/karamel#165 · Opened Jan 28, 2020

  Maintainers usually reply within 1 day

• Remove default kremlin -ccopts

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 30/100

  FStarLang/karamel#163 · Opened Jan 19, 2020

  Maintainers usually reply within 1 day

• Redefined variables when branching on preprocessor flags

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#151 · 1 comment · Opened Oct 8, 2019

  Maintainers usually reply within 1 day

• UInt64 bug, possibly due to C coercion rules after a constant fold

  May be free again @msprotz claimed this 2918 days ago, and no pull request is open. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  FStarLang/karamel#117 · 1 assignee · Opened Oct 18, 2018

  Maintainers usually reply within 1 day

• The last-minute desugaring of op_Bang_Star eliminates opportunities for prettier printing

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  FStarLang/karamel#116 · Opened Oct 9, 2018

  Maintainers usually reply within 1 day

• Partial application for erased types, type parameters and implicits should be permitted when lowering to C

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 30/100

  FStarLang/karamel#112 · 2 comments · Opened Sep 24, 2018

  Maintainers usually reply within 1 day

• Kremlib unverified notices

  May be free again @wintersteiger claimed this 2716 days ago, and no pull request is open. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  FStarLang/karamel#110 · 1 reaction · 1 assignee · Opened Sep 6, 2018

  Maintainers usually reply within 1 day

• Remove explicit casts from some integer constants, to improve readability

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  FStarLang/karamel#72 · 2 comments · Opened Nov 30, 2017

  Maintainers usually reply within 1 day

• Compile buffers and structs which lengths are known to more precise types ?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement

  Difficulty 5/5 Over a week Newbie friendliness 28/100

  FStarLang/karamel#33 · 2 comments · Opened Feb 12, 2017

  Maintainers usually reply within 1 day

• [Easy] implement packed arrays of bools

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 20/100

  FStarLang/karamel#29 · Opened Feb 9, 2017

  Maintainers usually reply within 1 day

• [Easy] Figure out the business with Source.phrase in the library

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  FStarLang/karamel#28 · Opened Feb 9, 2017

  Maintainers usually reply within 1 day

• [Easy] Implement 16-bit arithmetic (8-bit too)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 20/100

  FStarLang/karamel#24 · Opened Feb 9, 2017

  Maintainers usually reply within 1 day