Copilot

Add dictsort filter to @huggingface/jinja

3

- [x] Understand the dictsort filter specification from Jinja docs - [x] Implement the dictsort filter in runtime.ts for ObjectValue - [x] Add tests for dictsort filter with various parameters...

[WIP] Add user agent with package version for hub calls

2

- [ ] Create a utility function to wrap fetch and add user-agent header - [ ] Add package version constant in consts.ts - [ ] Implement the createFetch function...

Fix PARI timeout detection on Ubuntu 25.10

2

Fix PARI evaluation timeout detection on Ubuntu 25.10 ## Problem The `test-pari` test suite fails when PARI/GP times out because the timeout detection doesn't recognize PARI's alarm interrupt messages. When...

The minimizer's `check()` function incorrectly returned OK when sequences differed, allowing removal of required operations. This caused programs to produce different outputs after minimization (e.g., `2,2,2,2,9,9,...` → `2,2,9,9,103,103,...`). ## Changes...

Add fast-fail detection for formula generation with excessive initial terms

2

Formula generation failed slowly (~37 seconds) for A000033 and similar programs using ROL operations on many cells. The program uses `rol $2,8`, creating 8 stateful cells. After variant simplification, the...

Add LEAN formula generation support for nrt operation

3

The formula generator maps `nrt` operations to `sqrtint` (n=2) and `sqrtnint` (n≥3) functions, but LEAN export failed on programs containing these functions. ## Changes - **sqrtint**: Maps to LEAN's `Nat.sqrt`...

The LEAN formula exporter rejected programs containing binomial coefficient operations, while the base formula generator already converted `bin` operations to `binomial` functions. ## Changes - **src/form/lean.cpp**: Convert `binomial(n, k)` to...

PARI/GP formula generation now outputs multiple functions on separate lines, matching the existing LEAN formatter behavior. ### Changes * **`src/form/pari.cpp`**: Modified `PariFormula::toString()` to detect multiple functions via `FormulaUtil::getDefinitions()` and format...

Research identified 11 notable TypeScript ecosystem tools missing from the curated list. ## Additions **JavaScript Bundlers/Build Tools (4)** - `turbopack` - Vercel's Rust-based incremental bundler (Next.js integration) - `rsbuild` -...

This PR implements cross-platform compatibility to resolve the "Container action is only supported on Linux" error when running on Windows runners. ## Problem Previously, this action used `runs.using: docker` which...