Issues

• Pancake: Update panItreeAbsTheory for the decompiler

  CakeML/cakeml#1532 · Filter by author daole2904 opened on Oct 4, 2026

• Pancake: Remove uses of srw_ss() in the decompiler library and add a .sig file

  CakeML/cakeml#1531 · Filter by author daole2904 opened on Oct 4, 2026

• Pancake unary operators

  low effortPancakeuser experience
  CakeML/cakeml#1522 · Filter by author talsewell opened on Oct 2, 2026

• Pancake else-if syntax

  enhancementmedium effortPancakeuser experience
  CakeML/cakeml#1521 · Filter by author talsewell opened on Oct 2, 2026

• Pancake global string constants

  Pancakeuser experience
  CakeML/cakeml#1520 · Filter by author talsewell opened on Oct 2, 2026

• Exploit TMC more in the codebase

  good first issuelooking for LLMsperformance
  CakeML/cakeml#1513 · Filter by author tanyongkiam opened on Oct 1, 2026

• Add bit ops and build a bitset API

  basis extensionsperformance
  CakeML/cakeml#1512 · Filter by author tanyongkiam opened on Oct 1, 2026

• Missing mapping symbols in exported assembly

  CakeML/cakeml#1493 · Filter by author KurtWu10 opened on Sep 21, 2026

• Do simple clean up of misc

  looking for LLMsrefactoring
  CakeML/cakeml#1489 · Filter by author dnezam opened on Sep 16, 2026
  1

• Unsafe arithmetic with witnesses of "smallnumness"

  enhancementmedium effortperformance
  CakeML/cakeml#1485 · Filter by author myreen opened on Sep 11, 2026

• Improve compilation of Pancake's exception

  Pancake
  CakeML/cakeml#1475 · Filter by author minhddo opened on Aug 27, 2026
  1

• Check for struct shape removal in Pancake's Return semantics

  low effortPancake
  CakeML/cakeml#1474 · Filter by author minhddo opened on Aug 27, 2026

• Add unlink filesystem operation

  CakeML/cakeml#1473 · Filter by author dnezam opened on Aug 27, 2026

• Reorganise Pancake directory

  dev experiencePancakerefactoring
  CakeML/cakeml#1471 · Filter by author IlmariReissumies opened on Aug 25, 2026
  3

• Link binary with (recently added) features - Pancake

  Pancake
  CakeML/cakeml#1469 · Filter by author mktnk3 opened on Aug 24, 2026
  11

• Refactor simps in fsFFIProps

  good first issuerefactoring
  CakeML/cakeml#1468 · Filter by author dnezam opened on Aug 22, 2026

• Make Pancake exceptions more intuitive

  enhancementmedium effortPancake
  CakeML/cakeml#1463 · Filter by author IlmariReissumies opened on Aug 19, 2026
  1

• Pancake __add_with_carry___ has unfortunate parser interactions

  low effortPancakerefactoring
  CakeML/cakeml#1462 · Filter by author IlmariReissumies opened on Aug 19, 2026

• Translating mutually recursive datatypes produces a bunch of warnings

  translator
  CakeML/cakeml#1461 · Filter by author ordinarymath opened on Aug 18, 2026

• Populate WordLang's non-GCed cutsets with known non-pointers

  CakeML/cakeml#1456 · Filter by author tanyongkiam opened on Aug 13, 2026

• Reduce DataLang cutsets by rematerialising constants closer to use

  CakeML/cakeml#1455 · Filter by author tanyongkiam opened on Aug 13, 2026

• Repeated Array.sub of the same array and index retains a redundant bounds check

  high rewardperformance
  CakeML/cakeml#1454 · Filter by author tanyongkiam opened on Aug 13, 2026

• Local named functions can allocate dead closures after inlining

  bughigh rewardperformance
  CakeML/cakeml#1453 · Filter by author tanyongkiam opened on Aug 13, 2026
  1

• Negative small-integer multiplication misses the inline fast path

  bughigh rewardperformance
  CakeML/cakeml#1452 · Filter by author tanyongkiam opened on Aug 13, 2026
  3

• CakeML checkers should call Runtime.exit with error codes

  CakeML/cakeml#1428 · Filter by author tanyongkiam opened on Jun 26, 2026