Search results

Add support for subprocesses in CakeML

Status: Open.

#1182 In CakeML/cakeml;

· ordinarymath opened on May 25, 2025

Pancake support for hexadecimal (0x) and binary (0b) numbers

Pancake

Status: Open.

#1181 In CakeML/cakeml;

· JunmingZhao42 opened on May 22, 2025

Remove drule = old_drule

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

Status: Open.

#1172 In CakeML/cakeml;

· ordinarymath opened on May 7, 2025

Remove set_trace on var_eq_old

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

help wanted

Status: Open.

#1171 In CakeML/cakeml;

· tanyongkiam opened on May 7, 2025

Constant propagation in word_simp

good first issue

low effortMay still assume familiarityMay still assume familiarity

Status: Open.

#1168 In CakeML/cakeml;

· tanyongkiam opened on May 5, 2025

Refactor to use extended numerals.

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

good first issue

Status: Open.

#1167 In CakeML/cakeml;

· ordinarymath opened on May 1, 2025

Add join points to compiler.

code size

medium effort

Status: Open.

#1164 In CakeML/cakeml;

· ordinarymath opened on Apr 27, 2025

Missed optimization DIVISION by const

Status: Open.

#1163 In CakeML/cakeml;

· ordinarymath opened on Apr 26, 2025

Missed optimization multiplication by const for cakeml

Status: Open.

#1162 In CakeML/cakeml;

· ordinarymath opened on Apr 26, 2025

Improved representation of strings

enhancement

Status: Open.

#1160 In CakeML/cakeml;

· myreen opened on Apr 21, 2025

Remove Q.prove in ml_monad_translator_interfaceLib

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

good first issue

Status: Open.

#1153 In CakeML/cakeml;

· ordinarymath opened on Apr 4, 2025

Remove jsonLangTheory.

refactoring

Status: Open.

#1149 In CakeML/cakeml;

· ordinarymath opened on Mar 27, 2025