Skip to content
View JoshHayes's full-sized avatar
🦉
🦉

Highlights

  • Pro

Block or report JoshHayes

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Math

23 repositories

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Macaulay2 415 274 Updated Mar 17, 2026

Agda category theory library for denotational design

Agda 58 7 Updated Jan 25, 2026

MATLAB codes for matrix exponential times a vector.

MATLAB 34 7 Updated Nov 16, 2019

Numerical optimization in pure Rust

Rust 1,232 113 Updated Nov 7, 2025

Linear algebra library for Rust.

Rust 4,672 539 Updated Jan 22, 2026

Main repository of SageMath

Python 2,284 815 Updated Feb 25, 2026

Emacs front end for SageMath

Emacs Lisp 106 18 Updated May 4, 2024

org-babel integration with SageMath

Emacs Lisp 36 11 Updated Jul 19, 2020

An Infinitely Large Napkin

TeX 1,838 170 Updated Feb 12, 2026

My note taking setup scripts.

Python 444 68 Updated Jul 1, 2022

LaTeX code for some of my lecture notes

TeX 386 41 Updated Mar 19, 2022

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Prolog 912 49 Updated Mar 17, 2025

An extremely fast LaTeX formatter written in Rust

Rust 747 38 Updated Mar 17, 2026

A community-maintained Python framework for creating mathematical animations.

Python 37,271 2,728 Updated Mar 18, 2026

This C++ headers only library provides tools for manipulating elements of algebras; the tensor algebra, free lie algebra etc. Early versions can be found in sourceforge. It is capable of calculatio…

C++ 15 2 Updated Jul 24, 2023

Toolbox for working with streaming data as rough paths in Python

C++ 47 7 Updated Mar 18, 2026

Personal webpage

HTML 4 Updated Mar 17, 2026

Statsmodels: statistical modeling and econometrics in Python

Python 11,302 3,324 Updated Mar 18, 2026

A Python package for probabilistic state space modeling with JAX

Python 940 108 Updated Jan 6, 2026

amateur translation project of Grothendieck's EGA.

TeX 384 42 Updated Oct 15, 2025

biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8

TeX 576 126 Updated Mar 15, 2026

Repository for the Stacks Project

TeX 1,003 160 Updated Jan 30, 2026

Full source code of my dissertation

TeX 8 Updated Feb 2, 2026