Pinned Repositories
argo-workflows
Workflow engine for Kubernetes
challenges
Solutions for coding and data science challenges (e.g. Leetcode or Kaggle).
dotfiles
My configurations for tools like neovim, tmux, fish etc.
PyVRank
Python package for predicting rankings of software verification competitions.
secret-agents-ai
A Codenames-inspired online game using word embeddings for improved clue generation.
seefood
A calorie tracker app that uses computer vision for food recognition.
clash
Clash is a tool for running jobs on the Google Compute Engine :rocket:
mikeczech's Repositories
mikeczech/argo-workflows
Workflow engine for Kubernetes
mikeczech/challenges
Solutions for coding and data science challenges (e.g. Leetcode or Kaggle).
mikeczech/dotfiles
My configurations for tools like neovim, tmux, fish etc.
mikeczech/PyVRank
Python package for predicting rankings of software verification competitions.
mikeczech/secret-agents-ai
A Codenames-inspired online game using word embeddings for improved clue generation.
mikeczech/seefood
A calorie tracker app that uses computer vision for food recognition.
mikeczech/clash
Clash is a library for running jobs on the Google Compute Engine :rocket:
mikeczech/cpachecker
CPAchecker, the Configurable Software-Verification Platform
mikeczech/cs294-dqn-atari
Playing Atari with Deep Reinforcement Learning (CS294 Assignment)
mikeczech/fastText
Library for fast text representation and classification.
mikeczech/git-secrets
Prevents you from committing secrets and credentials into git repositories
mikeczech/JigsawJS
A collaborative jigsaw puzzle game written in Javascript / HTML5 / NodeJS
mikeczech/jupyterlab
JupyterLab computational environment.
mikeczech/learning
A personal repository documenting my journey in learning algorithms and APIs, featuring implementation notes, coding exercises, and a log of educational resources.
mikeczech/Lift-Draughts
A simple draughts UI that is written in Javascript / Scala / Lift / HTML5.
mikeczech/mikeczech
mikeczech/myblog
mikeczech/pi-lowlight-timelapse
Code for continuously capturing and storing low-light images using a Raspberry PI and GCS
mikeczech/slack
Slack API in Go
mikeczech/sw-yx-ai-notes
notes for my AI studies, writing, and product brainstorming
mikeczech/TWU-Biblioteca
mikeczech/TWU-Intro