Skip to content
View ihnatz's full-sized avatar

Block or report ihnatz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A library for building dynamic terminal apps, using bonsai

OCaml 128 1 Updated Nov 27, 2025

A scrollable-tiling Wayland compositor.

Rust 16,593 605 Updated Dec 25, 2025

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

C 452 27 Updated Jun 1, 2025

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 2,967 63 Updated Sep 23, 2025

Exercises and projects for Jane Street's OCaml Workshop

OCaml 664 170 Updated Apr 4, 2022

Google's Operations Research tools:

C++ 12,885 2,332 Updated Dec 24, 2025

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Jupyter Notebook 637 56 Updated Dec 11, 2025

go the distance

Shell 285 342 Updated Jun 7, 2025

My solutions to the Jane Street puzzles.

Python 45 1 Updated Dec 1, 2025

🕹️ Fantasy fantasy console emulator emulator

C++ 293 19 Updated Dec 21, 2024

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

C 222 25 Updated Jan 12, 2024

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…

Jupyter Notebook 18,544 4,439 Updated Aug 7, 2024

MicroPython builds for Pimoroni Pico 2 / RP2350 boards.

C 113 19 Updated Dec 5, 2025

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.

Python 2,804 233 Updated Nov 10, 2025

The financial transactions database designed for mission critical safety and performance.

Zig 14,754 743 Updated Dec 25, 2025

dev tools, env vars, task runner

Rust 22,442 779 Updated Dec 19, 2025
Python 1 Updated Dec 25, 2024

Fast and simple benchmarking for Rust projects

Rust 1,292 37 Updated Apr 17, 2025

Stream, transform, and route PostgreSQL data in real-time.

Go 825 28 Updated Dec 22, 2025

Comprehensive framework for building web applications in Rust.

Rust 1,054 21 Updated Dec 25, 2025

A binary for parallel copying of CSV data into a TimescaleDB hypertable

Go 424 59 Updated Dec 17, 2025

Build terminal forms and prompts 🤷🏻‍♀️

Go 6,355 212 Updated Dec 21, 2025

Powerful SQL migration toolkit for Rust.

Rust 1,583 152 Updated Oct 13, 2025

A Text User Interface library for the Rust programming language

Rust 4,711 259 Updated Dec 1, 2025

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

Go 158,241 14,009 Updated Dec 24, 2025

the portable Python dataframe library

Python 6,302 685 Updated Dec 22, 2025

💫 Industrial-strength Natural Language Processing (NLP) in Python

Python 32,992 4,630 Updated Nov 27, 2025

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

Python 12,398 2,023 Updated Dec 18, 2025

The fastest JSON library in C

C 3,558 301 Updated Dec 22, 2025

Sampling profiler for Python programs

Rust 14,761 492 Updated Dec 15, 2025
Next