GitHub users GitHub Repositories Array-form Taylor-mode automatic differentiation in JAX A Slack app that lets you do math in Slack A JAX implementation of Newton-Raphson A tool to help solve puzzles A C# binding for sylvan, a high-performance parallel decision diagram library