Lex Harie Pisco's repositories
coding_practice
Professional Development
Language:Jupyter Notebook000
Fundamentals-of-Computing
School activities related to C programming
portfolio-website
Fourth iteration of my personal website built with Gatsby
MIT000
Discrete_Mathematics
Notes and Assignments for Discrete Mathematics I
Language:Jupyter Notebook000
Apache-2.0000
format_lean
A Lean file formatter
Apache-2.0000
LexHarie
❄️ Join the community for a Winter of Making!
000