A plugin for allowing Xanadu PennyLane to use Amazon Braket devices

Quantum Approximate Optimization Algorithm (QAOA) for solving maximum satisfiability (Max-Sat) problems.

A user interface for Windows 10 filesystem compression

Rules engine for cloud security, cost optimization, and governance, DSL in yaml for policies to query, filter, and take actions on resources

Reference parser and interpreter for the Dogwood policy language

📜 A VitePress plugin for generating LLM-friendly documentation

An open-source, ontology-based semantic context accelerator that enables AI agents to make more accurate, consistent, and explainable decisions.

Lambda durable functions SDK

A persistent workspace for development work that self-improves and continues beyond one session.

Experimental exploration of skills discovery and distribution through MCP primitives. Maintained by the Skills Over MCP Working Group.

[CVPR 2026 Best Paper Finalist] Pixel Diffusion Transformers for Image Generation

Repository for automatic differentiation backend types

SGLang is a high-performance serving framework for large language models and multimodal models.

SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer

A formatter for Haskell source code

MCP, CLI, Skills for searching and downloading academic papers from multiple sources like arXiv, PubMed, bioRxiv, etc.

Apache DataFusion SQL Query Engine

📒 Sphinx source parser for Jupyter notebooks

Quantum program simulators that can run locally

llms.txt generator for Sphinx

LLM extensions for Sphinx Documentation

The Sphinx documentation generator

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

The Stochastic Local Search SAT Solver from UBC

This fork is focused on revitalizing SATenstein, a program built on top of UBCSAT to synthesize novel SLS solvers by putting together components of existing algorithms.

Routing Tree Web Toolkit