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 21,480 2,254 Updated Jul 31, 2026

Lean Theorem Prover MCP

Python 463 73 Updated Jul 30, 2026

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

TypeScript 4,855 325 Updated Jul 28, 2026

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

Shell 83 11 Updated Jun 12, 2026

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

Python 291 8 Updated Jul 31, 2026

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

TypeScript 1,558 367 Updated Jul 10, 2026

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

TypeScript 81,461 10,055 Updated Jul 31, 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 682 89 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,865 1,243 Updated Mar 4, 2026

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

TypeScript 106,282 14,358 Updated Jul 31, 2026

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

Rust 40,938 965 Updated Jul 31, 2026

Jarvis AI Assistant - Voice-powered AI assistant for Mac

TypeScript 595 95 Updated Jun 1, 2026

A podcast manager for Android

Java 8,042 1,725 Updated Jul 28, 2026

NVIDIA Math Libraries for the Python Ecosystem

Cython 591 41 Updated Jul 14, 2026

An open-source cross-platform alternative to AirDrop

Dart 86,453 4,770 Updated Jul 31, 2026

The best ChatGPT that $100 can buy.

Python 56,830 7,868 Updated Jul 4, 2026

Arrows with fancy styles and intuitive positioning for Slidev.

TypeScript 87 1 Updated Jun 9, 2026

Create and animate hand-drawn annotations on a web page

TypeScript 9,662 237 Updated Mar 18, 2024

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

Julia 37 8 Updated Jul 8, 2026

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

TypeScript 45,544 2,928 Updated Jul 31, 2026

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

Python 3,541 291 Updated Jul 15, 2026

Self-hosted AI audio transcription

Go 2,871 226 Updated Jun 1, 2026

Open-source, local-first apps.

TypeScript 4,730 371 Updated Jul 31, 2026

A simple, command line mail merge tool.

Python 172 50 Updated Jun 9, 2026

The task manager you actually own.

Go 4,945 583 Updated Jul 31, 2026

Native iOS and Android client for Open WebUI, plus direct OpenAI-compatible, Ollama, and OpenRouter connections and self-hosted Hermes agents. Local-first chats, real auth for reverse proxies, no t…

Dart 1,853 193 Updated Jul 31, 2026

📈 Repository of slides of talks we shared to the community

Vue 53 13 Updated Jul 29, 2026
Next