Skip to content
View bstellato's full-sized avatar

Organizations

@cvxgrp @oxfordcontrol

Block or report bstellato

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

C 24,357 2,656 Updated Aug 12, 2026

Lean Theorem Prover MCP

Python 475 73 Updated Jul 30, 2026

Call MCPs via TypeScript, masquerading as simple TypeScript API. Or package them as cli.

TypeScript 4,908 331 Updated Aug 13, 2026

A practical framework for AI-Assisted Research in Mathematics and Machine Learning

Shell 86 11 Updated Jun 12, 2026

Quick n' dirty web/mcp terminal tunneling your phone & pc

Python 296 9 Updated Aug 13, 2026

Comparison between open source PI agent and closed source Claude Code agent

TypeScript 1,597 371 Updated Jul 10, 2026

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript 88,826 11,034 Updated Aug 12, 2026

A Python wrapper for Apple Accelerate's sparse LDL^T solver

C++ 6 Updated Jul 23, 2026

A Python package to generate collaborator info for NSF COA or DOE collaborator forms

Python 14 Updated Jul 20, 2026

Linux productivity tools and practices for researchers

Shell 94 22 Updated Jun 26, 2026

A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming

Jupyter Notebook 684 90 Updated Jul 10, 2026

Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.

Python 13,927 1,250 Updated Aug 6, 2026

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 106,496 14,428 Updated Aug 13, 2026

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Rust 41,283 981 Updated Aug 12, 2026

Jarvis AI Assistant - Voice-powered AI assistant for Mac

TypeScript 613 98 Updated Jun 1, 2026

A podcast manager for Android

Java 8,075 1,742 Updated Aug 2, 2026

NVIDIA Math Libraries for the Python Ecosystem

Cython 593 43 Updated Jul 14, 2026

An open-source cross-platform alternative to AirDrop

Dart 87,944 4,878 Updated Aug 13, 2026

The best ChatGPT that $100 can buy.

Python 57,160 7,916 Updated Aug 2, 2026

Arrows with fancy styles and intuitive positioning for Slidev.

TypeScript 87 1 Updated Aug 13, 2026

Create and animate hand-drawn annotations on a web page

TypeScript 9,668 236 Updated Mar 18, 2024

Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations

Julia 37 8 Updated Jul 8, 2026

An open-source, privacy-first, self-hosted knowledge workspace where humans and AI agents work together 开源、隐私优先、自托管的知识工作空间,让人与智能体在此协作

TypeScript 45,780 2,945 Updated Aug 13, 2026

Speakr is a personal, self-hosted web application designed for transcribing audio recordings

Python 3,618 297 Updated Aug 7, 2026

Self-hosted AI audio transcription

Go 2,902 234 Updated Jun 1, 2026

Open-source, local-first apps.

TypeScript 4,753 376 Updated Aug 11, 2026

A simple, command line mail merge tool.

Python 172 50 Updated Jun 9, 2026

The task manager you actually own.

Go 5,049 603 Updated Aug 13, 2026

Native iOS and Android client for Open WebUI, plus direct OpenAI-compatible, Ollama, and OpenRouter connections and self-hosted Hermes agents.

Dart 1,939 193 Updated Aug 10, 2026

📈 Repository of slides of talks we shared to the community

Vue 54 13 Updated Aug 8, 2026
Next