Image sizes

Browser application totals and the runtime files generated by this build.

The REPL and TODO HTML pages are standalone files, including their interpreter and adapter. Game of Life serves separate HTML, JavaScript adapter, interpreter and application FASL files. Its total sums those files, compressing each separately. The Lisp payload row is already included in that total. Maxima's total includes its startup assets and optimized Lisp core. FriCAS's total includes the complete on-demand algebra library and command help. Maxima documentation and test suites are excluded from its distribution. On GitHub Pages, the REPL is named index.html.

miricl-cold.wasm contains the interpreter and compiler source, compiled on first use. miricl.wasm includes the size-optimized native compiler and defaults to compiled evaluation in browsers and Node. miricl-repl.wasm includes the precompiled compiler for Node and WASI. miricl-asdf.wasm is the optional ASDF and UIOP library, with its complete interface retained. Game of Life currently retains all definitions because dynamic function lookup triggers conservative retention. Its size reduction comes from compaction and sharing.

Maxima retains its complete dynamic environment for arbitrary REPL expressions and package loading. The optimizer compacts constants and code and removes compiler indexes; it does not restrict the available mathematics.

When an ACL2 build is present, its total includes the native compiled core, runtime and compressed system sources. The native core does not yet contain an initialized logical world; prover bootstrap remains unverified. Selected math book sources and their dependencies are a separate download, fetched on first access and compiled by the user on demand. Each included source file is at most 2,000,000 bytes. Already compressed archives are measured as served files.

How these sizes are measured

Raw sizes are uncompressed lengths. Download sizes are the shipped files without additional HTTP compression. Gzip uses level 9; Brotli uses quality 11. Gzipped assets are measured before and after decompression, without compressing them twice. The web server chooses which compression to serve. 1 KiB = 1,024 bytes.

Inside the Wasm images

Section sizes include their binary headers. Repeated section names are combined; each byte is counted once. The file header is listed separately.

miricl-cold.wasm — raw section sizes

Section	Bytes	Share of image
code	308,675	50.8%
data	268,334	44.2%
custom:miricl.repl-bridge	11,710	1.9%
global	7,895	1.3%
export	5,500	0.9%
type	3,289	0.5%
function	1,876	0.3%
table	26	0.0%
header	8	0.0%
memory	7	0.0%
tag	5	0.0%
data-count	3	0.0%

miricl-interpreter.wasm — raw section sizes

Section	Bytes	Share of image
code	303,143	61.3%
data	161,056	32.6%
custom:miricl.repl-bridge	11,710	2.4%
global	7,903	1.6%
export	5,499	1.1%
type	3,265	0.7%
function	1,862	0.4%
table	26	0.0%
header	8	0.0%
memory	7	0.0%
tag	5	0.0%
data-count	3	0.0%

miricl.wasm — raw section sizes

Section	Bytes	Share of image
code	732,426	74.6%
data	217,385	22.1%
custom:miricl.repl-bridge	11,710	1.2%
global	7,883	0.8%
export	5,479	0.6%
type	3,289	0.3%
function	2,434	0.2%
element	1,116	0.1%
table	32	0.0%
header	8	0.0%
memory	7	0.0%
tag	5	0.0%
data-count	3	0.0%

miricl-repl.wasm — raw section sizes

Section	Bytes	Share of image
core-module4 sections combined	973,167	49.4%
custom:miricl.node-compiler	970,092	49.3%
component	19,615	1.0%
type13 sections combined	2,853	0.1%
custom:component-name	1,164	0.1%
alias24 sections combined	925	0.0%
core-instance4 sections combined	736	0.0%
import10 sections combined	324	0.0%
canonical18 sections combined	217	0.0%
component-instance2 sections combined	178	0.0%
export	26	0.0%
header	8	0.0%

miricl-asdf.wasm — raw section sizes

Section	Bytes	Share of image
custom:miricl.fasl	1,385,375	100.0%
header	8	0.0%

game-of-life/build/game-of-life.wasm.gz — raw section sizes

Section	Bytes	Share of image
custom:miricl.fasl58 sections combined	2,423,522	100.0%
header	8	0.0%

build/maxima/site/maxima.core.gz — raw section sizes

Section	Bytes	Share of image
custom:miricl.fasl321 sections combined	8,303,744	100.0%
header	8	0.0%

build/fricas/site/fricas.wasm.gz — raw section sizes

Section	Bytes	Share of image
custom:miricl.fasl105 sections combined	3,860,748	100.0%
header	8	0.0%

build/mcclim/site/miricl-mcclim.wasm.gz — raw section sizes

Section	Bytes	Share of image
custom:miricl.core	16,061,200	94.2%
code	732,426	4.3%
data	217,385	1.3%
custom:miricl.repl-bridge	11,710	0.1%
global	7,883	0.0%
export	5,479	0.0%
type	3,289	0.0%
function	2,434	0.0%
element	1,116	0.0%
table	32	0.0%
header	8	0.0%
memory	7	0.0%
tag	5	0.0%
data-count	3	0.0%

Build

Measured at

2026-11-15T19:08:24.054Z (UTC)

Commit

80c799fad5599655d60b38c10588cafe6cb69b87

Compression tools

Node 26.13.1 · zlib 1.3.2.1-motley-456ae73

Workflow run

Download measurements as JSON

Build this report locally with just build-sizes.