- London
- ihnatz.github.io
Stars
A fancy tmux window switcher and TUI dashboard for modern agentic workflows
A Systematic Analysis and Discussion of Claude Code for Designing Today's and Future AI Agent Systems
Warcraft III Peon voice notifications (+ more!) for Claude Code, Codex, IDEs, and any AI agent. Stop babysitting your terminal. Employ a Peon today.
A curated list of practical financial machine learning tools and applications.
A library for building dynamic terminal apps, using bonsai
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Exercises and projects for Jane Street's OCaml Workshop
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
My solutions to the Jane Street puzzles.
tac08 is an an emulation of the runtime part of the Pico-8 fantasy console. It takes a .p8 (text format) pico-8 cart file and runs it as closely posible
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…
MicroPython builds for Pimoroni Pico 2 / RP2350 boards.
Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.
The financial transactions database designed for mission critical safety and performance.
Comprehensive framework for building web applications in Rust.
A binary for parallel copying of CSV data into a TimescaleDB hypertable
A Text User Interface library for the Rust programming language
Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
💫 Industrial-strength Natural Language Processing (NLP) in Python