Turn declarative exercises into reproducible, runnable and verifiable lab environments

Nix, the purely functional package manager

Nix Packages collection & NixOS

High-precision quota and token monitoring for AI Agents. Real-time analytics and usage tracking for Claude, Codex, Gemini, and Copilot to prevent API exhaustion and optimize LLM budgets.

Application IoT Jarvis like

A modern static site generator by the Material for MkDocs team

A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning …