Self-taught developer building symbolic logic solvers, AI tools, and creative web/game projects. Python + Z3 | SAT/SMT tools | Game dev (Godot/Roblox) | Logic +
-
Freelance / Independent Dev
- Tucson, AZ
-
01:43
(UTC -07:00) - https://github.com/ConfirmedDev
-
Joined
Jul 9, 2025
Popular repositories Loading
-
Tyler-Ai-Logic-Solver-SAT-SMT-Dashboard
Tyler-Ai-Logic-Solver-SAT-SMT-Dashboard PublicThis project was designed to serve as a research-grade symbolic reasoning dashboard that helps others explore the bridge between computational logic and interactive visualization.
Python
-
token-list
token-list PublicForked from solana-labs/token-list
“My fork of Solana token-list for adding ChaosCoin”.
Go
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.