Karel Ha (@mathemage) — GitHub Portfolio

Computer Scientist, AI/ML Engineer, and Climber — passionate about algorithms, competitive programming, and building intelligent systems.

⭐ Highlights

CompetitiveProgramming — my solutions from various online programming contests & practices [C++, Python]
TensorCFR — Counterfactual Regret Minimization + Neural Networks [TensorFlow]
mc-dropout-u-net-vaihingen — U-Net with Monte Carlo dropout for aerial image segmentation [PyTorch]
tensorflow/tensorflow#53574 — contribution PR to TensorFlow main repo
xphi-lhcb — analysis tools for CERN LHCb experiment (Ξ physics) [C++]

QHack-2021 — repo for QHack: the quantum machine learning hackathon [Python]
FUP-programming-exam — programming exam questions for Functional Programming class [Lisp, Haskell]
neural-style — neural style transfer experiments [TensorFlow, NumPy]
RegEx-DFA — regex to DFA implementation [Haskell]
htools — helper tools and scripts [Haskell]

Sorted latest first.

Alza-AI-enablement-eng-2026_v1 — backend-only Gmail AI assistant that analyzes messages and attachments, uses live search, and replies in the original thread [Python, FastAPI, Gmail API, Gemini, Google Cloud]
gem-github-hooks — Standalone catalog of 30 GitHub Actions workflows for modern C# and ASP.NET Core repositories [YAML, GitHub Actions, C#, .NET, ASP.NET Core]
abugo-loom-2026 — Abugo job assignment repo with task brief, notes, and deliverables [Python, Markdown]
preference-model-initial-assessment — RL-style Llama decoder block assessment with scratch-built RMSNorm, RoPE, GQA, and SwiGLU plus automated judge/test validation [Python, PyTorch, pytest, GitHub Actions]
mindwell-assignment-ai-engineer-2026 — production-ready CBT assistant MVP with cited RAG answers, multi-agent safety checks, and privacy controls [Python, FastAPI, PostgreSQL]
mindwell-assignment-2026 — AI CBT assistant MVP with RAG, safety guardrails, privacy-first handling, and evaluation tooling [Python, FastAPI, PostgreSQL]
tv-nova-ai-assignment-2026 — TV audience share forecasting pipeline with EDA, deep-learning models, and Dockerized prediction service [Python, PyTorch, FastAPI]
scio-assignment-2026 — real-time student progress monitor with teacher/student roles, QR group joining, and chat-based tracking [Python, FastAPI, React]

boulder-daddy — professional bouldering coaching website with service details, pricing, booking, testimonials, contact form, and Instagram integration [Next.js, Tailwind CSS]
deep-workflow — hosted deep-work planner for synced 45-minute focus sessions across laptops and phones [Django, PostgreSQL, HTMX, Alpine.js, Tailwind CSS]
adhd-cockpit — production-ready multi-device-synced ADHD web app with dynamic UI and real backend intelligence [Django, HTMX]
noema-forge — journaling web app for turning raw thoughts into clearer, searchable reflections [Node.js, Python, Markdown]
SleepOps — constraint-driven sleep operating system that turns work schedules, morning routines, and shutdown deadlines into protected sleep rules [Next.js, React, TypeScript, Tailwind CSS, PWA, Vitest, Playwright, GitHub Actions]

endgames-master-thesis — MSc thesis on combinatorial game theory endgames
AlphaGo-presentation — slides on “Mastering the Game of Go”
CapsuleGAN-presentation — presentation on GANs with capsules
AGT-spring-school-of-combinatorics-2014 — Spring School of Combinatorics materials
separation-axioms — BSc thesis on topology separation axioms