Search results

CakeML checkers should call Runtime.exit with error codes

Status: Open.

#1428 In CakeML/cakeml;

· tanyongkiam opened on Jun 26, 2026

Super-linear (O(n^2)) behavior in basis: TextIO.output and String.concatWith

Status: Open.

#1425 In CakeML/cakeml;

· tanyongkiam opened on Jun 24, 2026

Target official RISCV semantics

Status: Open.

#1412 In CakeML/cakeml;

· xrchz opened on Jun 15, 2026

Use monad API instead of overloads

low effortMay still assume familiarityMay still assume familiarity

refactoring

Status: Open.

#1411 In CakeML/cakeml;

· dnezam opened on Jun 15, 2026

Delete old_X from codebase

Status: Open.

#1408 In CakeML/cakeml;

· tanyongkiam opened on Jun 7, 2026

Make chars_to_nums tail-recursive?

dev experienceMakes tasks developing cakeml itself easierMakes tasks developing cakeml itself easier

good first issue

help wanted

Status: Open.

#1392 In CakeML/cakeml;

· dnezam opened on May 18, 2026

Adding dynamic arrays to CakeML's (extended?) basis

basis extensions

enhancement

Status: Open.

#1386 In CakeML/cakeml;

· dnezam opened on May 6, 2026

Adding Substring module to CakeML's basis library

basis extensions

enhancement

translator

Status: Open.

#1379 In CakeML/cakeml;

· myreen opened on Apr 27, 2026

Remove opens in bootstrap translation

dev experienceMakes tasks developing cakeml itself easierMakes tasks developing cakeml itself easier

enhancement

refactoring

Status: Open.

#1373 In CakeML/cakeml;

· myreen opened on Apr 24, 2026

Make Candle's compute_init set a boolean reference

enhancement

Status: Open.

#1371 In CakeML/cakeml;

· myreen opened on Apr 23, 2026

Scope checking issue with unverified build of pancake

Status: Open.

#1369 In CakeML/cakeml;

· KurtWu10 opened on Apr 16, 2026

Candle implementation is duplicated in an unclear way

Status: Open.

#1368 In CakeML/cakeml;

· xrchz opened on Apr 13, 2026