Search results

1way-pred example: is_even

Status: Open.

#31 In utahplt/ifT-benchmark;

· bennn opened on Jan 21, 2026

Hack

Status: Open.

#30 In utahplt/ifT-benchmark;

· bennn opened on Jan 20, 2026

MLsem

Status: Open.

#29 In utahplt/ifT-benchmark;

· bennn opened on Jan 18, 2026

CONTRIBUTING: instructions + script for comment format

Status: Open.

#25 In utahplt/ifT-benchmark;

· bennn opened on Jun 10, 2025

Non-Racket _benchmark.rkt

Status: Open.

#24 In utahplt/ifT-benchmark;

· bennn opened on Jun 3, 2025

upcoming: Ty, Pyrefly

Status: Open.

#21 In utahplt/ifT-benchmark;

· bennn opened on May 28, 2025

HTML output

Status: Open.

#15 In utahplt/ifT-benchmark;

· hanwenguo opened on Feb 4, 2025

Records and Maps, additional benchmarks?

Status: Open.

#5 In utahplt/ifT-benchmark;

· bennn opened on Oct 9, 2024