Issues

• Basis: String.compare, String.str, String.translate and Int.toString do avoidable work

  performance
  CakeML/cakeml#1570 · Filter by author tanyongkiam opened on Oct 29, 2026

• case on int/char literals compiles to a linear chain of equality tests

  performance
  CakeML/cakeml#1569 · Filter by author tanyongkiam opened on Oct 29, 2026

• andalso/orelse/not in if-conditions materialise a boolean and test it again

  performance
  CakeML/cakeml#1568 · Filter by author tanyongkiam opened on Oct 29, 2026

• bvl_handle's exp_cut splits hot loop bodies into separate functions

  performance
  CakeML/cakeml#1567 · Filter by author tanyongkiam opened on Oct 29, 2026

• reg_alloc: move-related spilled variables get different stack slots

  looking for LLMsperformance
  CakeML/cakeml#1566 · Filter by author tanyongkiam opened on Oct 29, 2026

• clos_to_bvl application stubs use checked integer arithmetic on arities

  looking for LLMsperformance
  CakeML/cakeml#1565 · Filter by author tanyongkiam opened on Oct 29, 2026
  3

• More reliable defs lookup

  dev experiencelooking for LLMs
  CakeML/cakeml#1562 · Filter by author tanyongkiam opened on Oct 25, 2026

• Add LEB128 parsing to basis

  basis extensionsrefactoring
  CakeML/cakeml#1553 · Filter by author dnezam opened on Oct 19, 2026
  2

• Improve creation of usage string

  refactoring
  CakeML/cakeml#1552 · Filter by author dnezam opened on Oct 19, 2026
  4

• Retire lispProg

  refactoring
  CakeML/cakeml#1549 · Filter by author dnezam opened on Oct 17, 2026

• Improve how we translate EL

  refactoring
  CakeML/cakeml#1548 · Filter by author dnezam opened on Oct 17, 2026

• Byte-array access: fold the header offset into the load/store address

  looking for LLMsperformance
  CakeML/cakeml#1546 · Filter by author tanyongkiam opened on Oct 15, 2026

• word_cse: every checked int operation ends common-subexpression reuse

  performance
  CakeML/cakeml#1545 · Filter by author tanyongkiam opened on Oct 15, 2026

• 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

• 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