Initial release: quivers v0.1.0

Categorical and probabilistic modeling as differentiable PyTorch programs.

Includes core categorical algebra (quantales, V-enriched morphisms),
stochastic morphisms (Markov kernels, Giry monad), 30+ continuous
distribution families, monadic programs, the QVR DSL compiler,
variational inference (ELBO, SVI), documentation, tests, and
CI/CD workflows (lint, typecheck, test, docs deployment).

Author: aaronstevenwhite

.github/workflows/ci.yml

@@ -0,0 +1,42 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - run: pip install ruff
+      - run: ruff check src/ tests/
+      - run: ruff format --check src/ tests/
+
+  typecheck:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - run: pip install mypy torch
+      - run: mypy src/quivers --ignore-missing-imports
+
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.12"]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: pip install -e ".[dev]"
+      - run: python -m pytest tests/ -x -q

.github/workflows/docs.yml

@@ -0,0 +1,38 @@
+name: Deploy Docs
+
+on:
+  push:
+    branches: [main]
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: pages
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - run: pip install -e ".[docs]"
+      - run: mkdocs build --strict
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: site/
+
+  deploy:
+    needs: build
+    runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - id: deployment
+        uses: actions/deploy-pages@v4

.gitignore

@@ -0,0 +1,39 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+dist/
+build/
+*.egg-info/
+*.egg
+
+# Virtual environments
+.venv/
+venv/
+env/
+
+# Testing
+.pytest_cache/
+pytest-cache-files-*/
+.coverage
+htmlcov/
+
+# Type checking / linting
+.mypy_cache/
+.ruff_cache/
+
+# Documentation build
+site/
+
+# IDE
+.idea/
+.vscode/
+*.swp
+*.swo
+*~
+
+# OS
+.DS_Store
+Thumbs.db

CHANGELOG.md

@@ -0,0 +1,67 @@
+# Changelog
+
+All notable changes to the quivers library are documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/), and this project adheres to [Semantic Versioning](https://semver.org/).
+
+## [Unreleased]
+
+## [0.1.0] - 2026-03-26
+
+### Added
+
+#### Core Categorical Algebra
+
+- Fundamental category types and morphisms
+- Object declarations and morphism composition
+- Support for latent and observed morphisms
+- Basic categorical operations and abstractions
+
+#### Stochastic Morphisms
+
+- Stochastic morphism declarations and semantics
+- Integration with probability theory
+- Support for morphism composition in stochastic settings
+
+#### Continuous Distributions (30+ Families)
+
+- Normal distribution and variants (LogitNormal, TruncatedNormal)
+- Beta, Dirichlet for probability simplices
+- Exponential family: Exponential, Gamma, Chi2
+- Heavy-tailed: Cauchy, StudentT, Pareto
+- Bounded: Uniform, Kumaraswamy
+- Half-variants: HalfCauchy, HalfNormal
+- Transformed: LogNormal, Gumbel, Laplace, Weibull
+- Multivariate: MultivariateNormal, LowRankMVN, Wishart
+- Bernoulli variants: Bernoulli, ContinuousBernoulli, RelaxedBernoulli
+- Advanced: RelaxedOneHotCategorical, FisherSnedecor
+- Normalized flows: Flow
+- Categorical and discrete approximations
+
+#### Monadic Programs
+
+- Draw statements for sampling from morphisms
+- Observe statements for conditioning and likelihood
+- Return statements with optional labeled outputs
+- Variable binding and destructuring in patterns
+- Program parameters and composition
+
+#### QVR DSL
+
+- Complete lexer with token recognition for all language constructs
+- Recursive descent parser with full grammar support
+- Abstract syntax tree (AST) node definitions
+- Program block execution with proper scoping
+- Let bindings for expression computation
+- Built-in let functions: sigmoid, exp, log, abs, softplus
+- Comment support (#)
+- Type expressions: products (*), coproducts (+)
+- Expression operators: composition (>>), tensor product (@), marginalization
+- Indentation-aware program body parsing
+- Specialized handling for draw/observe arguments
+
+#### Variational Inference Layer
+
+- Inference interface for probabilistic programs
+- Support for approximate posterior computation
+- Integration with continuous distribution families