Toolkit for linearizing PDFs for LLM datasets/training

Generate types and converters from JSON, Schema, and GraphQL

Provides a fake file system that mocks the Python file system modules.

Data validation using Python type hints

Papers about red teaming LLMs and Multimodal models.

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Development repository for the Triton language and compiler

A platform for creating interactive data visualizations

The Vampire Theorem Prover

Trial Reasoner for AI that Learns

Linux Studio Plugins Project

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

Supercharge your Python with parts of Lisp and Haskell.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

A lightweight library for converting complex objects to and from simple Python datatypes.

Cinder is Meta's internal performance-oriented production version of CPython.

Playing with recursion, trampolines etc.

Make your functions return something meaningful, typed, and safe!

Python Classes Without Boilerplate

Open source and open knowledge (data and content) licenses together with API and web service.

libSQL is a fork of SQLite that is both Open Source, and Open Contributions.

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Immutable and statically-typeable DataFrames with runtime type and data validation

Topic Modeling in Embedding Spaces

The Open Data Editor (ODE) is a no-code application to explore, validate and publish data in a simple way. Forever free and open source project powered by the Frictionless Framework.

Database diagrams editor that allows you to visualize and design your DB with a single query.

Python bindings for llama.cpp