Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Polynomials and Gröbner bases
Formulation of category theory in Agda
Complex and hypercomplex numbers
in the last year
#47 reminded me, i had been thinking about the
The interface now invariably allocates, even if the caller has a buffer they c…
Press h to open a hovercard with more details.