Skip to content
View JasonGross's full-sized avatar

Organizations

@barnowl @mitex @rocq-prover @sipb @rocq-community @theorem-labs

Block or report JasonGross

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
3 results for sponsorable starred repositories
Clear filter

A lightweight next-gen data explorer - Postgres, MySQL, SQLite, MongoDB, Redis, MariaDB, Elastic Search, and Clickhouse with Chat interface

TypeScript 4,397 159 Updated Dec 16, 2025

Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).

Python 11,536 671 Updated Dec 16, 2025

🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines

Python 3,360 213 Updated Dec 17, 2025