-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 25, 2025 -
-
pycirc Public
A Python library for the Circulates Bitwise Shift Operators (rcirc and lcirc)
-
-
maker-hilbert Public
A copy of my hilbert programming language for my maker portfolio
Python UpdatedNov 2, 2023 -
-
maker-jerryjr Public
A copy of my code for Jerry Jr, without training data or my API Key, for my maker portfolio
Python UpdatedNov 1, 2023 -
maker-codebase-techrise Public
A copy of our TechRise codebase for my maker portfolio
Python UpdatedNov 1, 2023 -
-
Competitive-Programming Public
A collection of programs for USACO and other Competitive Programming Competitions
-
simple-image-classification Public
A simple image classification program using the Fashion MNIST Dataset
Python Apache License 2.0 UpdatedMay 22, 2023 -
intro-to-tsflow-lite Public
The simple image classifier that can be deployed with TFLite
Jupyter Notebook Apache License 2.0 UpdatedMay 22, 2023 -
-
-
-
-
Data-Structures Public
All of the code from my school's Data Structures class
Java MIT License UpdatedJan 14, 2022 -
axe Public
Command line tool that provides quick answers to factual questions
Python MIT License UpdatedJan 4, 2022 -
usaco-guide Public
Forked from cpinitiative/usaco-guideA free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
TypeScript Other UpdatedAug 5, 2021 -
s-wallpaper Public
A simple wallpaper switcher for Windows 10/10x/11
-
-
-
-
A website to map the location of the ISS
-
Space-Web-VR Public
Welcome to SPACE Web VR! This is a sort of interactive Web VR website that shows a picture like space. Enjoy!
HTML MIT License UpdatedMay 6, 2021 -
-
-
-
focus-forge Public
A web browser to forge focus and increase productivity
-
Secure-Lock Public
A powerful password generator, as many as you want, however you want.
Python MIT License UpdatedMay 1, 2021
{{ message }}