Strip metadata from jupyter notebooks

A script for running TLA+/TLC from the command line

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

strip output from Jupyter and IPython notebooks

Learn TLA+ for free! No prior experience necessary!

A community contributed game system for Pathfinder Second Edition.

Demos, examples and utilities using PyMuPDF

PyMuPDF4LLM

PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.

This repository contains implementations and illustrative code to accompany DeepMind publications

Gemma open-weight LLM library, from Google DeepMind

🍦 Never use print() to debug again.

State-of-the-Art Embeddings, Retrieval, and Reranking

Ollama Python library

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A computer algebra system written in pure Python

Parallel computing with task scheduling

Python library for creating PEG parsers

Optional static typing for Python

📃 A better UX for chat, writing content, and coding with LLMs.

The batteries-included agent harness.

The agent engineering platform

Build resilient agents.

The agent engineering platform.

AI Agent Framework, the Pydantic way

Data validation using Python type hints

An extremely fast Python package and project manager, written in Rust.

An extremely fast Python linter and code formatter, written in Rust.