Stars
Read/write MCP server for Intervals.icu — training data, planning, and structured workout generation.
Git notifications on your menu bar. Available on macOS, Windows & Linux.
A fast and efficient type assistant for Python, including tensor shape inference
Coding Agent singularly focused efficiency and context curation. Reduces API costs by 50-80% vs other agent AND improves the code quality at the same time. Uses Hash Anchored edits, massively paral…
Open source IFC library and geometry engine
Turn GitHub Copilot into OpenAI/Anthropic API compatible server. Usable with Claude Code!
An agentic skills framework & software development methodology that works.
The agent that grows with you
Lightweight coding agent that runs in your terminal
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Development at the speed of light
Python Typing Intersection examples
cvxgrp / DNLP
Forked from cvxpy/cvxpyDisciplined nonlinear programming extension of CVXPY.
Hardware accelerated, batchable and differentiable optimizers in JAX.
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control
⚡ TabPFN: Foundation Model for Tabular Data ⚡
A lightweight, lightning-fast, in-process vector database
An end-to-end solution to digitize piping and instrument diagrams using Azure Services including Azure Machine Learning and AKS.
An *experimental* zero-preparation remote debugger for Python applications running in *local* Kubernetes clusters or Docker containers.
Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
🧰 Zigbee Home Assistant Toolkit - service for "rare" Zigbee operations using ZHA on Home Assistant