sammy's repositories
complex-analysis-overview
Complex Analysis Definitions and Theorems Overview
Language:TeXUnlicense000
gitignore
A collection of useful .gitignore templates
CC0-1.0000
M1F-explained
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Language:LeanApache-2.0000
mod-dh
A Colemak mod for more comfortable typing.
Language:ShellCC0-1.0000
Language:Lean000
playing-with-R
Practicing R fundamentals and maybe leading to some fun projects using R if I have time.
000
000
000
000