PhD student in Mathematics at the University of Michigan
Pinned Loading
-
-
word-problem-cuda
word-problem-cuda PublicA CUDA implementation of the NC-algorithm for the word problem in hyperbolic groups
Cuda
-
image-rs/image-png
image-rs/image-png PublicPNG decoding and encoding library in pure Rust
-
emacs-dashboard
emacs-dashboard PublicForked from emacs-dashboard/emacs-dashboard
An extensible emacs dashboard
Emacs Lisp
-
counting-components
counting-components PublicPython module written in Rust to count components after resolving intersections via surgery
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.