Pinned Loading

1. Mathematica-packages Mathematica-packages Public

   Wolfram Language packages for symmetric functions and algebraic combinatorics

   Wolfram Language 11 6

2. RealRooted RealRooted Public

   Experimental Lean 4 library for real-rooted polynomials and interlacing

   Lean 4 3

3. lrcalc-rs lrcalc-rs Public

   Rust implementation providing a drop-in liblrcalc ABI and CLI surface.

   Rust 2

4. ehrcalc ehrcalc Public

   Exact Ehrhart computations and related combinatorial counting tools

   Rust 1

5. polytool polytool Public

   Exact univariate polynomial tools for real-rootedness, interlacing, and combinatorics

   Rust 1 1

6. symmetricfunctions.com symmetricfunctions.com Public

   The backend for symmetricfunctions.com

   TeX 1 3