- London
- ihnatz.github.io
Stars
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.
Stream, transform, and route PostgreSQL data in real-time.
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 OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
💫 Industrial-strength Natural Language Processing (NLP) in Python
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.